- Sprache
-
Englisch
- Umfang
-
Online-Ressource
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Klassifikation
-
Informatik
- Beteiligte Personen und Organisationen
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2008]
- URN
-
urn:nbn:de:0030-drops-14111
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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.
Beteiligte
- Downey, R. G.
- Khoussainov, Bakhadyr
- Kuske, Dietrich
- Lohrey, Markus
- Vardi, Moshe Y.
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2008]
Ähnliche Objekte (12)
Algorithmic logical theory of infinite structures : 07441 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Logical number theory, 1
Algorithmic ideal theory
Datalog on infinite structures
Logical approach to systems theory
Multisource algorithmic information theory
Automatic presentations of infinite structures
On Algorithmic Certification of Graph Structures
Logical structures for representation of knowledge and uncertainty
Conceptual structures : logical, linguistic, and computational issues ; proceedings
Algorithmic logical theory of infinite structures : 07441 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Logical number theory, 1
Algorithmic ideal theory
Datalog on infinite structures
Logical approach to systems theory
Multisource algorithmic information theory
Automatic presentations of infinite structures
On Algorithmic Certification of Graph Structures
Logical structures for representation of knowledge and uncertainty
Conceptual structures : logical, linguistic, and computational issues ; proceedings
Algorithmic logical theory of infinite structures : 07441 abstracts collection ; Dagstuhl seminar
Computational and logical aspects of infinite monoids
Computational and logical aspects of infinite monoids
Logical number theory, 1
Algorithmic ideal theory
Datalog on infinite structures
Logical approach to systems theory
Multisource algorithmic information theory
Automatic presentations of infinite structures
On Algorithmic Certification of Graph Structures
Logical structures for representation of knowledge and uncertainty