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
Identifikationsnummern
- DOI: 10.1016/0168-0072(95)00021-6
- RWTH PUBLICATIONS: RWTH-CONV-045789