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]