Conferences in DBLP
Jean-Marc Andreoli , Remo Pareschi Logic Programming with Sequent Systems, A Linear Logic Approach. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:1-30 [Conf ] James H. Andrews Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:31-47 [Conf ] Martin Aronsson , Lars-Henrik Eriksson , Lars Hallnäs , Per Kreuger A Survey of GCLA: A Definitional Approach to Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:49-99 [Conf ] Michael Beeson Some Applications of Gentzen's Proof Theory in Automated Deduction. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:101-156 [Conf ] Amy P. Felty A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:157-178 [Conf ] Dov M. Gabbay Modal Provability Foundations for Negation by Failure. [Citation Graph (1, 0)][DBLP ] ELP, 1989, pp:179-222 [Conf ] Elsa L. Gunter Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:223-244 [Conf ] Jörg Hudelmaier A Decision Procedure for Propositional N-Prolog. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:245-251 [Conf ] Dale Miller A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:253-281 [Conf ] Lawrence C. Paulson , Andrew W. Smith Logic Programming, Functional Programming, and Inductive Definitions. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:283-309 [Conf ] David Pearce , Gerd Wagner Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:311-326 [Conf ] Peter Schroeder-Heister Hypothetical Reasoning and Definitional Reflection in Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:327-339 [Conf ] Antonius J. M. van Hoof , Jaap Hoepelman Non-Moniotonic and Conditionals in Dialogue Logic. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:341-364 [Conf ]