-
Computer science logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedingsVrsta gradiva - konferenčni zbornik ; neleposlovje za odrasleZaložništvo in izdelava - Berlin ; Heidelberg : Springer, cop. 2009Jezik - angleškiISBN - 978-3-642-04026-9; 978-3-642-04027-6COBISS.SI-ID - 17093721
Drugi avtorji
Grädel, Erich |
Kahle, Reinhard |
Annual Conference of the EACSL
Zbirka
Lecture notes in computer science
Teme
computer science |
algorithmic analysis |
decidability |
forcing |
formal languages |
intuitionistic logic |
mu-calculus |
polynomial time |
rewriting |
tree languages |
type theory |
undecidability |
word problem
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Grädel, Erich | |
Kahle, Reinhard |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.