Stretching First Order Equational Logic: Proofs with Partiality, Subtypes and Retracts (1998)

by Joseph A. Goguen
Venue:Proceedings, Workshop on First Order Theorem Proving
Citations:5 - 2 self