Hierarchies in transitive closure logic, stratified datalog and infinitary logic

Grädel, Erich; McColm, G.

Amsterdam [u.a.] : Elsevier (1996)
Fachzeitschriftenartikel

In: Annals of pure and applied logic
Band: 77
Seite(n)/Artikel-Nr.: 66-199

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]