The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Higher-order-logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1987 (16) 1988-1990 (24) 1991-1992 (59) 1993 (51) 1994 (39) 1995 (35) 1996-1997 (28) 1998 (18) 1999 (17) 2000 (26) 2001 (16) 2002 (22) 2003 (18) 2004 (24) 2005 (26) 2006 (26) 2007 (23) 2008 (27) 2009 (18) 2010-2011 (21) 2012-2013 (17) 2014 (15) 2015-2016 (24) 2017 (16) 2018 (17) 2019-2020 (28) 2021-2022 (18) 2023-2024 (12)
Publication types (Num. hits)
article(150) book(4) incollection(10) inproceedings(494) phdthesis(19) proceedings(4)
Venues (Conferences, Journals, ...)
TPHOLs(141) HUG(41) CoRR(37) CADE(26) J. Autom. Reason.(23) IJCAR(10) ESOP(8) Formal Aspects Comput.(8) CSL(7) ITP(7) LPAR(7) POPL(7) PPDP(7) FMCAD(6) TYPES(6) CAV(5) More (+10 of total 226)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 321 occurrences of 193 keywords

Results
Found 681 publication records. Showing 681 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
80Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu Extending VLSI design with higher-order logic. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
50Holger Busch First-Order Automation for Higher-Order-Logic Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
49Matthew J. Morley Safety in Railway Signalling Data: A Behavioural Analysis. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF application specific languages, Safety-critical systems, higher-order logic, railway signalling
49Albert John Camilleri Mechanizing CSP Trace Theory in Higher Order Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes
49Franz Regensburger HOLCF: Higher Order Logic of Computable Functions. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Gilles Dowek Proof Normalization for a First-Order Formulation of Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46Dale Miller 0001 Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF Expansion Trees, ET-proofs, Matings, Higher-order Logic, Natural Deduction
44Florian Haftmann From higher-order logic to Haskell: there and back again. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code generation, theorem proving, haskell, higher-order logic, isabelle
44Ralph-Johan Back, Joakim von Wright Predicate Transformers and Higher Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
44Zhenyu Qian Higher-Order Equational Logic Programming. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Naijun Zhan Completeness of Higher-Order Duration Calculus. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF duration calculus higher-order logic interval temporal logic completeness
40Ching-Tsun Chou A Formal Theory of Undirected Graphs in Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39George W. Ernst, Raymond J. Hookway The Use of Higher Order Logic in Program Verification. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF inductive assertions, program verification, Heuristic search, higher order logic, mechanical theorem proving
39Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Guillaume Burel Unbounded Proof-Length Speed-Up in Deduction Modulo. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rewriting, arithmetic, higher order logic, proof theory
37Amy P. Felty, Dale Miller 0001 Specifying Theorem Provers in a Higher-Order Logic Programming Language. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
37Martin Hofmann 0001, Francis Tang Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds An embedding of the ACL2 logic in HOL. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HOL4, proof oracle, sound translation, verification, formal methods, logic, first-order logic, higher-order logic, ACL2, HOL
35Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat S: A Machine Readable Specification Notation based on Higher Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Joakim von Wright Representing Higher-Order Logic Proofs in HOL. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Ching-Tsun Chou Mechanical Verification of Distributed Algorithms in Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Victor Carreño Verification in Higher Order Logic of Mutual Exclusion Algorithm. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
35Jia Meng, Lawrence C. Paulson Translating Higher-Order Clauses to First-Order Clauses. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Clause translation, First-order logic, Higher-order logic
34Graeme Smith 0001, Florian Kammüller, Thomas Santen Encoding Object-Z in Isabelle/HOL. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF reference semantics, Object-Z, higher-order logic, Isabelle
34Flavio Antonio Ferrarotti, Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Gilles Dowek, Thérèse Hardin, Claude Kirchner HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Brigitte Pientka A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Michael J. C. Gordon Validating the PSL/Sugar Semantics Using Automated Reasoning. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL
33Stephen H. Brackin A HOL extension of GNY for automatically analyzing cryptographic protocols. Search on Bibsonomy CSFW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
33Kee Siong Ng (Agnostic) PAC Learning Concepts in Higher-Order Logic. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Linna Li, Bingru Yang, Fan Zhang Clustering for Complex Structured Data Based on Higher-Order Logic. Search on Bibsonomy CSSE (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Natarajan Shankar Using Decision Procedures with a Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Flavio Antonio Ferrarotti, Jose Maria Turull Torres Arity and alternation: a proper hierarchy in higher order logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
32Viktor K. Sabelfeld, Kai Kapp Numeric Types in Formal Synthesis. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF correct hardware synthesis, formal specification, higher-order logic, theorem prover, arithmetic operations
31Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
31Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin Verifying The Correctness Of Cryptographic Protocols Using "Convince". Search on Bibsonomy ACSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
31Chuck C. Liang Compiler Construction in Higher Order Logic Programming. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Max Wisniewski, Alexander Steen Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
31Kim Dam Petersen Graph model of LAMBDA in Higher Order Logic. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Sreeranga P. Rajan Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 1992 DBLP  BibTeX  RDF
30Linna Li, Wei Zhang Higher-Order Logic Recommender System. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Osman Hasan, Sofiène Tahar Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Real-time systems, Communication protocols, Higher-order-logic, Probability theory, HOL theorem prover
29Osman Hasan, Sofiène Tahar Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function
29Xiaobing Wu An Inductive Learning System for XML Documents. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF precision-recall, knowledge representation, higher-order logic, XML documents, decision-tree learning
29Thomas Gärtner 0001, John W. Lloyd, Peter A. Flach Kernels and Distances for Structured Data. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF kernel methods, inductive logic programming, higher-order logic, instance-based learning, structured data
29Peter B. Andrews Herbrand Award Acceptance Speech. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Herbrand's theorem, TPS, higher-order logic
29Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan A Framework for Software Architecture Verification. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF formal modeling, architecture description languages (ADLs), higher-order logic, Software architecture analysis
29B. M. Subraya, Anshul Kumar, Shashi Kumar An HOL based framework for design of correct high level synthesizers. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework
29Jeffrey J. Joyce Totally Verified Systems: Linking Verified Software to Verified Hardware. Search on Bibsonomy Hardware Specification, Verification and Synthesis The full citation details ... 1989 DBLP  DOI  BibTeX  RDF machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness
29Marc Bezem An Improved Extensionality Criterion for Higher-Order Logic Programs. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29M. A. Nait Abdallah AL-Khowarizmi: A Formal System for Higher-Order Logic Programming. Search on Bibsonomy MFCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Gopalan Nadathur, Dale Miller 0001 Higher-Order Horn Clauses Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Herman Geuvers (In)consistency of Extensions of Higher Order Logic and Type Theory. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Brigitte Pientka Termination and Reduction Checking for Higher-Order Logic Programs. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Douglas J. Howe Higher-order abstract syntax in classical higher-order logic. Search on Bibsonomy LFMTP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Allen Van Gelder, Geoff Sutcliffe Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Martin Hofmann 0001, Donald Sannella On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Konstantine Arkoudas, Selmer Bringsjord Metareasoning for Multi-agent Epistemic Logics. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25James Lipton, Susana Nieva Higher-Order Logic Programming Languages with Constraints: A Semantics. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Steven Obua Checking Conservativity of Overloaded Definitions in Higher-Order Logic. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25James H. Andrews Executing Formal Specifications by Translation to Higher Order Logic Programming. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Alain Hui-Bon-Hoa A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Matt Fairtlough, Michael Mendler, Xiaochun Cheng Abstraction and Refinement in Higher Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Rafael del Vado Vírseda A higher-order logical framework for the algorithmic debugging and verification of declarative programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
24Norbert Völker HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Farhad Mehta, Tobias Nipkow Proving Pointer Programs in Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Zachary Snow, David Baelde, Gopalan Nadathur A meta-programming approach to realizing dependently typed logic programming. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
24Jasmin Christian Blanchette Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Huffman coding, Higher-order logic
24Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli A comprehensive combination framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modal and description logics, decision procedures, Combination, higher-order logic, satisfiability modulo theory
24Osman Hasan, Sofiène Tahar Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover
24David R. Lester Real Number Calculations and Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Computable Reals, Exact Arithmetic, Theorem Proving, PVS, Higher-order Logic
24Murdoch Gabbay, Aad Mathijssen One-and-a-halfth-order logic. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
24Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. Search on Bibsonomy SIGCOMM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
24Skander Kort, Sofiène Tahar, Paul Curzon Hierarchical formal verification using a hybrid tool. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF HOL (higher-order logic), MDG (multiway decision graphs), Hybrid tools, Hierarchical verification
24Gilles Dowek, Thérèse Hardin, Claude Kirchner Theorem Proving Modulo. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
24Monica Nesi Formalising a Value-Passing Calculus in HOL. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi
24Koichi Takahashi, Masami Hagiya Proving as Editing HOL Tactics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
24Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß Formal Verification of Transformations for Peephole Optimization. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reusability of specifications, formal verification, transformations, higher-order logic
24John Esch Contexts, Canons and Coreferent Types. Search on Bibsonomy ICCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Context, Concept, Conceptual Graph, Higher Order Logic, Canon
24George W. Ernst A Definition-Driven Theorem Prover. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF natural deduction systems, Artificial intelligence, heuristic search, higher order logic, mechanical theorem proving
24Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss Progress in the Development of Automated Theorem Proving for Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Sten Agerholm, Michael J. C. Gordon Experiments with ZF Set Theory in HOL and Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
23Herman Geuvers, Gueorgui I. Jojgov Open Proofs and Open Terms: A Basis for Interactive Logic. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving
23Tomasz Pietrzykowski A Complete Mechanization of Second-Order Type Theory. Search on Bibsonomy J. ACM The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
23Amy P. Felty Proof Search with Set Variable Instantiation in the Calculus of Constructions. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Brigitte Pientka Verifying Termination and Reduction Properties about Higher-Order Logic Programs. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF termination, Logical frameworks
22Guodong Li, Scott Owens, Konrad Slind Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Serge Autexier On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Marco Benini, Sara Kalvala, Dirk Nowotka Program Abstraction in a Higher-Order Logic Framework. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Weidong Chen 0005, David Scott Warren Compilation of Predicate Abstractions in Higher-Order Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
22Joseph A. Goguen, Rod M. Burstall Institutions: Abstract Model Theory for Specification and Programming. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
21Lauri Hella, Jose Maria Turull Torres Complete Problems for Higher Order Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lindström Quantifiers, Complete Problems, Higher Order Logics
21Helmut Schwichtenberg Proof Search in Minimal Logic. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Christoph Benzmüller, Florian Rabe 0001, Geoff Sutcliffe THF0 - The Core of the TPTP Language for Higher-Order Logic. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Oliver Pell Verification of FPGA Layout Generators in Higher-Order Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF layout description, circuit verification, FPGA, theorem proving
21Konrad Slind AC Unification in HOL90. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Peter B. Andrews Connections and Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 681 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license