First Order Logic With Domain Conditions (2001)

Cached

Download Links

by Freek Wiedijk , Jan Zwanenburg
Venue:in `Theorem Proving in Higher Order Logics, TPHOLs 2003', Vol. 2758 of LNCS
Citations:2 - 0 self