Conferences in DBLP
Hassan Aït-Kaci , Andreas Podelski Entailment and Disentailment of Order-Sorted Feature Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou , Elmar Langetepe , Volker Sperschneider Computing Extensions of Default Logic - Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund , Johan Bevemyr Prolog with Arrays and Bounded Quantifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Barth Linear 0-1 Inequalities and Extended Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brüning Search Space Pruning by Checking Dynamic Term Growth. [Citation Graph (0, 0)][DBLP ] Conf ] Hiu Fai Chau A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anatoli N. Chebotarev , Marina K. Morokhobets Consistency Checking of Automata Functional Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Marc-Michel Corsini , Alain Griffault , Antoine Rauzy Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Davison Parsing with DCG-terms. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly A First Order Resolution Calculus with Symmetries. [Citation Graph (0, 0)][DBLP ] Conf ] Christian G. Fermüller , Gernot Salzer Ordered Paramodulation and Resolution as Decision Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé , Sabina Rossi Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP ] Conf ] Philippa Gardner A New Type THeory for Representing Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle , Werner Kernig Verification of Switch-Level Designs with Many-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] M. Hibti , Henri Lombardi , Bruno Legeard Deciding in HFS-Theory via Linear Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia M. Hill The Completion of Typed Logic Programs and SLDNF-Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Alistair Manning , Andrew Ireland , Alan Bundy Incresing the Versatility of Heuristic Based Theorem Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Barton C. Massey , Evan Tick Sequentialization of Parallel Logic Programs with Mode Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Mayr Refinements and Extensions of Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Angelica Maria Kappel Executable Specifications based on Dynamic Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Hans de Nivelle Generic Resolution in Propositional Modal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach Optimized Translation of Multi Modal Logic into Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Eric Panitz Default Reasoning with a Constraint Resolution Principle. [Citation Graph (0, 0)][DBLP ] Conf ] Anavai Ramesh , Neil V. Murray Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Schmidt-Schauß Unification Under One-Sided Distributivity with a Multiplicative Unit. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Socher-Ambrosius Unification in Order-Sorted Logic With Term Declarations. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Geoff Sutcliffe A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wagner Neutralization and Preemtion in Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Christian G. Fermüller , Arie Ovrutcki , Richard Zach MULTILOG: A System for Axiomatizing Many-valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , O. Hermann SKIL: A System for Programming with Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] John Harrison , Laurent Théry Reasoning About the Reals: The Marriage of HOL and Maple. [Citation Graph (0, 0)][DBLP ] Conf ] Yexuan Gui , Mitsuhiro Okada System Description of LAMBDALG - A Higher Order Algebraic Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Breanndán Ó Nualláin Mixing metafor. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei Soloviev A Complete Axiom System for Isomorphism of Types in Closed Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Wegner Reasoning, Modeling, and Component-Based Technology. [Citation Graph (0, 0)][DBLP ] Conf ] 