Inheritance in Higher Order Logic: Modeling and Reasoning (2000)

Cached

Download Links

by Marieke Huisman , Bart Jacobs
Venue:Theorem Proving in Higher Order Logics, number 1869 in Lect. Notes Comp. Sci
Citations:14 - 9 self