The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Martin Aronsson
    Methodology and Programming Techniques in GCLA II. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:1-44 [Conf]
  2. Harold Boley
    Extended Logic-plus-Functional Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:45-72 [Conf]
  3. Antonio Brogi, Evelina Lamma, Paola Mello
    Open Logic Theories. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:73-88 [Conf]
  4. Lars-Henrik Eriksson
    A Finitary Version of the Calculus of Partial Inductive Defintions. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:89-134 [Conf]
  5. Amy P. Felty
    A Logic Programming Approach to Implementing Higher-Order Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:135-161 [Conf]
  6. Torkel Franzén, Seif Haridi, Sverker Janson
    An Overview of the Andorra Kernel Language. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:163-179 [Conf]
  7. Lars Hallnäs
    Logical and Computational Invariants of Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:181-191 [Conf]
  8. John Hannan
    Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:193-219 [Conf]
  9. Philipp Hanschke
    Terminological Reasoning and Partial Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:221-237 [Conf]
  10. Per Kreuger
    GCLA II - A Definitional Approach to Control. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:239-297 [Conf]
  11. Spiro Michaylov, Frank Pfenning
    Natural Semantics and Some of Its Meta-Theory in Elf. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:299-344 [Conf]
  12. David W. Reed, Donald W. Loveland, Bruce T. Smith
    The Near-Horn Approach to Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:345-369 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002