Logic Programming in Tau Categories (1995)

Cached

Download Links

by Stacy E. Finkelstein , Peter Freyd , James Lipton
Venue:in Computer Science Logic '94 , LNCS 933
Citations:8 - 4 self