Sorted HiLog: Sorts in Higher-Order Logic Data Languages (1994)

Cached

Download Links

by Weidong Chen , Michael Kifer
Venue:In Int’l Conference on Database Theory, number 893 in Lecture Notes in Computer Science
Citations:4 - 0 self