MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Higher order logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2,754 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Models of Higher Order Logic  
  • by Alan Hutchinson
  • …Models of Higher Order Logic Alan Hutchinson Department of Computer Science, King's College…
  • Add To MetaCart
  • Higher Order Logic  
  • by Daniel Leivant — 1994 — In Handbook of Logic in Artificial Intelligence and Logic Programming
  • …Higher Order Logic Daniel Leivant Contents 1 Introduction…
  • Cited by 15 (0 self) – Add To MetaCart
  • Executing higher order logic  
  • by Stefan Berghofer, Tobias Nipkow, Technische Universität München — 2002 — In Proc. TYPES Working Group Annual Meeting 2000, LNCS
  • …Executing Higher Order Logic Stefan Berghofer ⋆ and Tobias Nipkow Technische Universität München…
  • Cited by 31 (14 self) – Add To MetaCart
  • A paraconsistent higher order logic  
  • by Jørgen Villadsen, Jørgen Villadsen — 2004 — International Workshop on Paraconsistent Computational Logic, volume 95 of Roskilde University, Computer Science, Technical Reports
  • …arXiv:cs.LO/0207088 v3 26 Dec 2003 A Paraconsistent Higher Order Logic ⋆ Jørgen Villadsen Computer…
  • Cited by 4 (4 self) – Add To MetaCart
  • Theorem Proving in Higher Order Logics  
  • by David Basin, Burkhart Wolff (eds.), Eth Zentrum, Burkhart Wolff, Universität Freiburg — 2003
  • …David Basin Burkhart Wolff (Eds.) Theorem Proving in Higher Order Logics 16th International…
  • Add To MetaCart
  • Model Existence for Higher Order Logic  
  • by Christoph Benzmüller, Michael Kohlhase — 2000
  • …Model Existence for Higher Order Logic Christoph Benzmuller and Michael Kohlhase Fachbereich…
  • Add To MetaCart
  • Theorem Proving in Higher Order Logics  
  • by Victor A. Carreño, César A. Muñoz, Sofiène Tahar — 2002
  • …NASA/CP-2002-211736 Theorem Proving in Higher Order Logics Edited by Víctor A. Carreño Langley…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB