Searching for "Theorem Proving in Higher Order Logics" – sorted by Relevance.
82 documents found, showing 1 through 10.
Next 10 →
-
Theorem Proving in Higher Order Logics
- …David Basin Burkhart Wolff (Eds.) Theorem Proving in Higher Order Logics 16th International…
- Add To MetaCart
-
Theorem Proving in Higher Order Logics
- …NASA/CP-2002-211736 Theorem Proving in Higher Order Logics Edited by Víctor A. Carreño Langley…
- Add To MetaCart
-
Theorem Proving in Higher Order Logics: Emerging Trends - Proceedings
- …TR-CS-98-08 Theorem Proving in Higher Order Logics: Emerging Trends Proceedings of the 11th…
- Cited by 4 (0 self) – Add To MetaCart
-
Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order
- … Meetings, and later as Workshops on Higher Order Logic Theorem Proving and its Applications. The new name…
- Add To MetaCart
-
Verified optimizations for the Intel IA-64 architecture. In: TPHOLs 00: Theorem Proving in Higher-Order
- … out using the HOL Light theorem prover. 1 Introduction Current microprocessors dynamically reorder…
- Cited by 1 (0 self) – Add To MetaCart
-
Dependently Typed Records for Representing Mathematical Structure
- … in Higher Order Logics, TPHOLs 2000, c #Springer-Verlag. See www.springer.de/comp/lncs/. 1 is inspired…
- Cited by 12 (0 self) – Add To MetaCart
-
Some Mathematical Case Studies in ProofPower-HOL
- … of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September…
- Add To MetaCart
-
tps: A theorem proving system for classical type theory
- …’s behavior and problems of theorem proving in higher-order logic. 7 KEY WORDS: higher-order logic, type…
- Cited by 62 (4 self) – Add To MetaCart
-
How to Use a First-Order Model Generator for Adjusting Problem Formulations of Higher-Order Logic
- … in higher-order logic there are three main approaches: first build higher-order theorem provers, second use…
- Cited by 1 (1 self) – Add To MetaCart
-
The HOL System DESCRIPTION Preface
- … proving system and to the version of higher order logic that the system supports; where there is serious…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
