Monografie
Algorithmic logical theory of infinite structures : 07441 abstracts collection ; Dagstuhl seminar
- Sprache
-
Englisch
- Identifier
-
991344669
- Reihe
-
Dagstuhl seminar proceedings 07441
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Downey, R. G.
- Khoussainov, Bakhadyr
- Kuske, Dietrich
- Lohrey, Markus
- Vardi, Moshe Y.
Ähnliche Objekte (12)
Algorithmic logical theory of infinite structures
Algorithmic methods for railway optimization : 04261 abstracts collection ; Dagstuhl seminar
Algorithmic aspects of large and complex networks : 05361 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - a further synthesis : 07161 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - towards a synthesis : 05051 abstracts collection ; Dagstuhl seminar
Combinatorial and algorithmic foundations of pattern and association discovery : 06201 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar
Event processing : 07191 abstracts collection ; Dagstuhl seminar
Algorithmic logical theory of infinite structures
Algorithmic methods for railway optimization : 04261 abstracts collection ; Dagstuhl seminar
Algorithmic aspects of large and complex networks : 05361 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - a further synthesis : 07161 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - towards a synthesis : 05051 abstracts collection ; Dagstuhl seminar
Combinatorial and algorithmic foundations of pattern and association discovery : 06201 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar
Event processing : 07191 abstracts collection ; Dagstuhl seminar
Algorithmic logical theory of infinite structures
Algorithmic methods for railway optimization : 04261 abstracts collection ; Dagstuhl seminar
Algorithmic aspects of large and complex networks : 05361 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - a further synthesis : 07161 abstracts collection ; Dagstuhl seminar
Probabilistic, logical and relational learning - towards a synthesis : 05051 abstracts collection ; Dagstuhl seminar
Combinatorial and algorithmic foundations of pattern and association discovery : 06201 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar