Search results for "LPAR"

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

Publications at "LPAR"( http://dblp.L3S.de/Venues/LPAR )