A correctness proof for Warren's HO into FO translation (1993)

Cached

Download Links

by Juan Carlos Gonzalez-Moreno , Juan Carlos Gonz'alez-moreno
Venue:In Proc. GULP' 93
Citations:10 - 1 self