4. LPAR 1993: St. Petersburg, Russia

Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings. Lecture Notes in Computer Science 698 Springer 1993, ISBN 3-540-56944-8 BibTeX

@proceedings{DBLP:conf/lpar/1993,
  editor    = {Andrei Voronkov},
  title     = {Logic Programming and Automated Reasoning,4th International Conference,
               LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
  booktitle = {LPAR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {698},
  year      = {1993},
  isbn      = {3-540-56944-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Hassan Aït-Kaci, Andreas Podelski: Entailment and Disentailment of Order-Sorted Feature Constraints. 1-18 BibTeX
Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider: Computing Extensions of Default Logic - Preliminary Report. 19-27 BibTeX
Jonas Barklund, Johan Bevemyr: Prolog with Arrays and Bounded Quantifications. 28-39 BibTeX
Peter Barth: Linear 0-1 Inequalities and Extended Clauses. 40-51 BibTeX
Stefan Brüning: Search Space Pruning by Checking Dynamic Term Growth. 52-63 BibTeX
Hiu Fai Chau: A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. 65-75 BibTeX
Anatoli N. Chebotarev, Marina K. Morokhobets: Consistency Checking of Automata Functional Specifications. 76-85 BibTeX
Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. 86-97 BibTeX
Andrew Davison: Parsing with DCG-terms. 98-109 BibTeX
Uwe Egly: A First Order Resolution Calculus with Symmetries. 110-121 BibTeX
Christian G. Fermüller, Gernot Salzer: Ordered Paramodulation and Resolution as Decision Procedure. 122-133 BibTeX
Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. 134-145 BibTeX
Philippa Gardner: A New Type THeory for Representing Logics. 146-157 BibTeX
Reiner Hähnle, Werner Kernig: Verification of Switch-Level Designs with Many-Valued Logic. 158-169 BibTeX
M. Hibti, Henri Lombardi, Bruno Legeard: Deciding in HFS-Theory via Linear Integer Programming. 170-181 BibTeX
Patricia M. Hill: The Completion of Typed Logic Programs and SLDNF-Resolution. 182-193 BibTeX
Alistair Manning, Andrew Ireland, Alan Bundy: Incresing the Versatility of Heuristic Based Theorem Provers. 194-204 BibTeX
Barton C. Massey, Evan Tick: Sequentialization of Parallel Logic Programs with Mode Analysis. 205-216 BibTeX
Klaus Mayr: Refinements and Extensions of Model Elimination. 217-228 BibTeX
Angelica Maria Kappel: Executable Specifications based on Dynamic Algebras. 229-240 BibTeX
Hans de Nivelle: Generic Resolution in Propositional Modal Systems. 241-252 BibTeX
Hans Jürgen Ohlbach: Optimized Translation of Multi Modal Logic into Predicate Logic. 253-264 BibTeX
Sven Eric Panitz: Default Reasoning with a Constraint Resolution Principle. 265-276 BibTeX
Anavai Ramesh, Neil V. Murray: Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. 277-288 BibTeX
Manfred Schmidt-Schauß: Unification Under One-Sided Distributivity with a Multiplicative Unit. 289-300 BibTeX
Rolf Socher-Ambrosius: Unification in Order-Sorted Logic With Term Declarations. 301-308 BibTeX
Christine Solnon, Michel Rueher: Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. 309-320 BibTeX
Geoff Sutcliffe: A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. 321-332 BibTeX
Gerd Wagner: Neutralization and Preemtion in Extended Logic Programs. 333-344 BibTeX
Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach: MULTILOG: A System for Axiomatizing Many-valued Logics. 345-347 BibTeX
Didier Galmiche, O. Hermann: SKIL: A System for Programming with Proofs. 348-350 BibTeX
John Harrison, Laurent Théry: Reasoning About the Reals: The Marriage of HOL and Maple. 351-353 BibTeX
Yexuan Gui, Mitsuhiro Okada: System Description of LAMBDALG - A Higher Order Algebraic Specification Language. 354-356 BibTeX
Breanndán Ó Nualláin: Mixing metafor. 357-359 BibTeX
Sergei Soloviev: A Complete Axiom System for Isomorphism of Types in Closed Categories. 360-371 BibTeX
Peter Wegner: Reasoning, Modeling, and Component-Based Technology. 372-386 BibTeX