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

Institutions

  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]

Identifier