Hierarchies in transitive closure logic, stratified datalog and infinitary logic
Grädel, Erich; McColm, G.
Amsterdam [u.a.] : Elsevier (1996)
Journal Article
In: Annals of pure and applied logic
Volume: 77
Page(s)/Article-Nr.: 66-199
Identifier
- DOI: 10.1016/0168-0072(95)00021-6
- RWTH PUBLICATIONS: RWTH-CONV-045789