Login / Signup

Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic

Erich GrädelGregory L. McColm
Published in: FOCS (1992)
Keyphrases