Conferences in DBLP

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

1. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
   Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:1-15 [Conf]
   
2. Sergio Antoy
   Optimal Non-deterministic Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:16-30 [Conf]
   
3. Michael Codish, Cohavit Taboch
   A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:31-45 [Conf]
   
4. Alfons Geser, Sergei Gorlatch
   Parallelizing Functional Programs by Generalization. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:46-60 [Conf]
   
5. Claude Kirchner, Christophe Ringeissen
   Higher-Order Equational Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:61-75 [Conf]
   
6. L. J. Steggles
   Parameterised Higher-Order Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:76-98 [Conf]
   
7. Taro Suzuki, Koji Nakagawa, Tetsuo Ida
   Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:99-113 [Conf]
   
8. Takahito Aoto, Yoshihito Toyama
   On Composable Properties of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:114-128 [Conf]
   
9. Salvador Lucas
   Needed Reductions with Context-Sensitive Rewriting. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:129-143 [Conf]
   
10. Enno Ohlebusch
    Conditional Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:144-158 [Conf]
    
11. Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas
    Lazy Narrowing with Parametric Order Sorted Types. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:159-173 [Conf]
    
12. Gilles Barthe, Femke van Raamsdonk
    Termination of Algebraic Type Systems: The Syntactic Approach. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:174-193 [Conf]
    
13. Luís Caires, Luís Monteiro
    Proof Net Semantics of Proof Search Computation. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:194-208 [Conf]
    
14. Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
    Explicit Substitutions for the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:209-223 [Conf]
    
15. A. César, H. Muñoz
    A Left-Linear Variant of Lambda-Sigma. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:224-239 [Conf]
    
16. Zurab Khasidashvili, Mizuhito Ogawa
    Perpetuality and Uniform Normalization. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:240-255 [Conf]
    
17. Slim Abdennadher, Heribert Schütz
    Model Generation with Existentially Quantified Variables and Constraints. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:256-272 [Conf]
    
18. Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge
    Optimal Left-to-Right Pattern-Matching Automata. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:273-286 [Conf]