Hierarchies in transitive closure logic, stratified datalog and infinitary logic

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

Annals of pure and applied logic
Band: 77
Seite(n): 66-199

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
McColm, G.

Identifikationsnummern