Higher-Order Pattern Unification and Proof Irrelevance
International conference; 15th, Theorem proving in higher order logics ; 2002 ; Hampton, VA
2002-01-01
7 pages
Also known as TPHOLs 2002. Collated with the proceedings of the workshop on formalising continuous mathematics (FCM 2002)
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
First-Order Proof Tactics in Higher-Order Logic Theorem Provers
British Library Conference Proceedings | 2003
|Unloved Aerial Vehicles: Gutting its UAV plan, the Air Force sets a course for irrelevance
DSpace@MIT | 2012
|Engineering Index Backfile | 1945
British Library Online Contents | 2010
|IEEE | 2011
|