Functional procedures in higher-order logic (1999)

Cached

Download Links

by Linas Laibinis , Linas Laibinis , Fin- Turku , Joakim Von Wright , Joakim Von Wright , Turku Centre , Computer Science
Venue:Theorem Proving in Higher Order Logics, volume 1896 of Lect. Notes in Comp. Sci
Citations:2 - 0 self