The SCEAS System
Navigation Menu

Conferences in DBLP

Algebraic and Logic Programming (ALP) (alp)
1992 (conf/alp/1992)

  1. Hassan Aït-Kaci
    Outline of an Object-Oriented Calculus of Higher Type (Abstract). [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:1-2 [Conf]
  2. Hartmut Ehrig, Francesco Parisi-Presicce
    High-Level-Replacement Systems for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:3-20 [Conf]
  3. Pierre Lescanne
    Termination of Rewrite Systems by Elementary Interpretations. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:21-36 [Conf]
  4. Isabelle Gnaedig
    Termination of Order-sorted Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:37-52 [Conf]
  5. Bernhard Gramlich
    Generalized Sufficient Conditions for Modular Termination of Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:53-68 [Conf]
  6. Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
    A Theory of First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:69-83 [Conf]
  7. Maurizio Gabbrielli, Maria Chiara Meo
    Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:84-99 [Conf]
  8. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:100-114 [Conf]
  9. Miki Hermann
    On the Relation Between Primitive Recursion, Schematization and Divergence. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:115-127 [Conf]
  10. Berthold Hoffmann
    Term Rewriting with Sharing and Memoïzation. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:128-142 [Conf]
  11. Sergio Antoy
    Definitional Trees. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:143-157 [Conf]
  12. José Meseguer
    Multiparadigm Logic Programming. [Citation Graph (1, 0)][DBLP]
    ALP, 1992, pp:158-200 [Conf]
  13. Hoon Hong
    Non-linear Real Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:201-212 [Conf]
  14. Francisco Javier López-Fraguas
    A General Scheme for Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:213-227 [Conf]
  15. Michael Hanus
    Incremental Rewriting in Narrowing Derivations. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:228-243 [Conf]
  16. Aart Middeldorp, Erik Hamoen
    Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:244-258 [Conf]
  17. Rachid Echahed
    Uniform Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:259-275 [Conf]
  18. Olav Lysne
    Proof by Consistency in Constructive Systems with Final Algebra Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:276-290 [Conf]
  19. Reinhard Bündgen, Hasko Eckhardt
    A Fast Algorithm for Ground Normal Form Analysis. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:291-305 [Conf]
  20. Thérèse Hardin
    Eta-conversion for the Languages of Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:306-321 [Conf]
  21. Andy King, Paul Soper
    Serialisation Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:322-334 [Conf]
  22. Alessandro Giovini, Franco Morando, Antonio Capani
    Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:335-349 [Conf]
  23. Cosimo Laneve, Ugo Montanari
    Axiomatizing Permutation Equivalence in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:350-363 [Conf]
  24. Michael J. Maher
    A CLP View of Logic Programming. [Citation Graph (1, 0)][DBLP]
    ALP, 1992, pp:364-383 [Conf]
  25. Chandrabose Aravindan, Phan Minh Dung
    Partial Deduction of Logic Programs wrt Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:384-402 [Conf]
  26. Philippe Balbiani
    The Finiteness of Logic Programming Derivations. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:403-419 [Conf]
  27. Leo Bachmair, Harald Ganzinger, Uwe Waldmann
    Theorem Proving for Hierarchic First-Order Theories. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:420-434 [Conf]
  28. Rolf Socher-Ambrosius
    A Goal Oriented Strategy Based on Completion. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:435-445 [Conf]
  29. Alexandre Boudet, Evelyne Contejean
    On n-Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:446-457 [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