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