0-1 laws for recursive structures
Grädel, Erich; Malmström, Anders
Berlin ; Heidelberg : Springer (1999)
Fachzeitschriftenartikel
In: Archive for mathematical logic
Band: 38
Heft: 4/5
Seite(n)/Artikel-Nr.: 205-215
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.1007/s001530050125
- RWTH PUBLICATIONS: RWTH-CONV-037973