Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic (1994)

Cached

Download Links

by Erich Grädel , Gregory L. McColm
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:11 - 4 self