Login / Signup

Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.

Erich GrädelGregory L. McColm
Published in: Ann. Pure Appl. Log. (1996)
Keyphrases