Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marc-Michel Corsini, Alain Griffault, Antoine Rauzy |
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms |
1 | Peter Wegner |
Reasoning, Modeling, and Component-Based Technology. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill |
The Completion of Typed Logic Programs and SLDNF-Resolution. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Wagner 0001 |
Neutralization and Preemtion in Extended Logic Programs. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alistair Manning, Andrew Ireland, Alan Bundy |
Incresing the Versatility of Heuristic Based Theorem Provers. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner |
A New Type Theory for Representing Logics. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John Harrison 0001, Laurent Théry |
Reasoning About the Reals: The Marriage of HOL and Maple. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anatoli N. Chebotarev, Marina K. Morokhobets |
Consistency Checking of Automata Functional Specifications. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Walther |
Computing Induction Axioms. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey |
The EKS-V1 System. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik |
A Cooperative Answering System. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Andreoli, Remo Pareschi |
Linear Objects: a Logic Framework for Open System Programming. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Sawamura, Toshiro Minami, Kyoko Ohashi |
EUODHILOS: A General Reasoning System for a Variety of Logics. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fisher 0001, Richard Owens |
From the Past to the Future: Executing Temporal Logic Programs. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov (eds.) |
Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Ping Ko, Mark E. Nadel |
Elementary Lower Bounds for th Length of Refutations. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
An Order Theory Resolution Calculus. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
Theory Resolution, Automated Theorem Proving |
1 | Hans Nilsson |
The External Database in SICStus Prolog. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | James Harland, David J. Pym |
On Resolution in Fragments of Classical Linear Logic. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Li Dafa |
An Application to Teaching in Logic Course of ATP Based Natural Deduction. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
theorem proving, logic, natural deduction |
1 | Uwe Egly |
Shortening Proofs by Quantifier Introduction. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mino Bai, Howard A. Blair |
General Model Theoretic Semantics for Higher-Order Horn Logic Programming. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Voinov |
Netlog - A Concept Oriented Logic Programming Language. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beeson |
Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jorge B. Bocca, Michael Dahmen, Michael Freeston |
MegaLog - A Platform for Developing Knowledge Base Management Systems. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
Unification in Order-Sorted Type Theory. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Barrett R. Bryant, Aiqin Pan |
Two-Level Grammar: A Funtional/Logic Query Language for Database and Knowledge-Base Systems. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mark Dawson 0001 |
A Generic Logic Environment. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José Alberto Fernández, Jack Minker |
Disjunctive Deductive Databases. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christian B. Suttner |
Parallel Computation of Multiple Sets-of_Support. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Beat Wüthrich |
Towards Probabilistic Knowledge Bases. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Burkhard Freitag |
Extending Deductive Database Languages by Embedded Implications. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gernot Salzer |
The Unification of Infinite Sets of Terms and Its Applications. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michel Parigot |
Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Igor Romanenko |
Logican's Workbench. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Noyé |
The KCM System: Speeding-up Logic Programming through Hardware Support. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ertel |
OR-Parallel Theorem Proving with Random Competition. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination |
1 | Ulrich Fraus, Heinrich Hußmann |
An Inductive Theorem Prover Based on Narrowing. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Micha Meier |
SEPIA - a Bases for Prolog Extensions. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki |
Soundness and Completeness of Partial Deductions for Well-Founded Semantics. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Millroth |
Reform Compilation for Nonlinear Recursion. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Resolution for Many-Valued Logics. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Manoury, Michel Parigot, Marianne Simonot |
ProPre A Programming Language with Proofs. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Sattler-Klein |
Infinite, Canonical String Rewriting Systems Generated by Completion. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bogumil Hausman |
Towards Using the Andorra Kernel Language for Industrial Real-Time Applications. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Didier Galmiche, Guy Perrier |
A Procedure for Automatic Proof Nets Construction. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Ringeissen |
Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ewing L. Lusk |
Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Julio García Marrtín, Juan José Moreno-Navarro |
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Boy de la Tour, Christoph Kreitz |
Building Proofs by Analogy via the Curry-Horward Isomorphism. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mireille Ducassé |
Opium - A High-level Debugging Environment. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Ireland |
The Use of Planning Critics in Mechanizing Inductive Proofs. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Siani Baker, Andrew Ireland, Alan Smaill |
On the Use of the Constructive Omega-Rule within Automated Deduction. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | William McCune, Larry Wos |
Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler |
On Deductive Planning and the Frame Problem. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | James Bowen, Dennis R. Bahler |
Free Logic and Infinite Constraint Networks. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Javier Leach, Susana Nieva |
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
A Two Steps Semantics for Logic Programs with Negation. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Bauer, Rolf Hennicker |
ISAR: An Interactive System for Algebraic Implementation Proofs. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré |
Spes: A System for Logic Program Transformation. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
Key-words program transformation, strategy, unfolding, folding |
1 | Valentin M. Antimirov, Anatoli Degtyarev |
Consistency of Equational Enrichments. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul Curzon |
A Programming Logic for a Verified Structured Assembly Language. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch |
SPIKE, an Automatic Theorem Prover. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Neumerkel |
Pruning Infinite Failure Branches in Programs with Occur-Check. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mark Wallace 0001, Thierry Le Provost |
CHIP and Propia. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral |
Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron |
ElipSys - A Parallel Programming System based on Logic. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|