The SCEAS System
Navigation Menu

Conferences in DBLP

Extensions of Logic Programming (ELP) (elp)
1989 (conf/elp/1989)

  1. 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]
  2. James H. Andrews
    Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:31-47 [Conf]
  3. 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]
  4. Michael Beeson
    Some Applications of Gentzen's Proof Theory in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:101-156 [Conf]
  5. 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]
  6. Dov M. Gabbay
    Modal Provability Foundations for Negation by Failure. [Citation Graph (1, 0)][DBLP]
    ELP, 1989, pp:179-222 [Conf]
  7. 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]
  8. Jörg Hudelmaier
    A Decision Procedure for Propositional N-Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:245-251 [Conf]
  9. 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]
  10. Lawrence C. Paulson, Andrew W. Smith
    Logic Programming, Functional Programming, and Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:283-309 [Conf]
  11. David Pearce, Gerd Wagner
    Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:311-326 [Conf]
  12. Peter Schroeder-Heister
    Hypothetical Reasoning and Definitional Reflection in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:327-339 [Conf]
  13. 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002