The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Catuscia Palamidessi
    Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:1-2 [Conf]
  2. Dale Miller
    Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:3-4 [Conf]
  3. Robert Paige
    Viewing A program Transformation System At Work. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:5- [Conf]
  4. Michael Codish, Grigory Mashevitzky
    Proving Implications by Algebraic Approximation. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:6-22 [Conf]
  5. Adel Bouhoula
    Sufficient Completeness and Parameterized Proofs by Induction. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:23-40 [Conf]
  6. Michel Bidoit, Rolf Hennicker
    Proving Behavioural Theorems with Standard First-Order Logic. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:41-58 [Conf]
  7. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:59-76 [Conf]
  8. María Alpuente, Moreno Falaschi, Germán Vidal
    Compositional Analysis for Equational Horn Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:77-94 [Conf]
  9. Philippe Balbiani
    Equation Solving in Projective Planes and Planar Ternary Rings. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:95-113 [Conf]
  10. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:114-132 [Conf]
  11. Paolo Volpe
    Concurrent Logic Programming as Uniform Linear Proofs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:133-149 [Conf]
  12. Frank Teusink
    Three-Valued Completion for Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:150-167 [Conf]
  13. Sergio Antoy, Aart Middeldorp
    A Sequential Reduction Strategy. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:168-185 [Conf]
  14. Bernhard Gramlich
    On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:186-203 [Conf]
  15. Maria C. F. Ferreira, Hans Zantema
    Syntactical Analysis of Total Termination. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:204-222 [Conf]
  16. Massimo Marchiori
    Logic Programs as term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:223-241 [Conf]
  17. Neil D. Jones, Mads Rosendahl
    Higher-Order Minimal Functional Graphs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:242-252 [Conf]
  18. Delia Kesner
    Reasoning about Layered, Wildcard and Product Patterns. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:253-268 [Conf]
  19. Annalisa Bossi, Nicoletta Cocco
    Preserving Universal Termination through Unfold/Fold. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:269-286 [Conf]
  20. Elena Marchiori
    A Logic for Variable Aliasing in Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:287-304 [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