Conferences in DBLP

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

1. Ilies Alouini, Claude Kirchner
   Toward the Concurrent Implementation of Computational Systems. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:1-31 [Conf]
   
2. Alessandra Di Pierro, Wlodzimierz Drabent
   On Negation As Instantiation. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:32-46 [Conf]
   
3. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
   Independence in Dynamically Scheduled Logic Languages. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:47-61 [Conf]
   
4. Frédéric Benhamou
   Heterogeneous Constraint Solving. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:62-76 [Conf]
   
5. François Fages, Roberta Gori
   A Hierarchy of Semantics for Normal Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:77-91 [Conf]
   
6. Peter Csaba Ölveczky, Olav Lysne
   Order-Sorted Termination: The Unsorted Way. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:92-106 [Conf]
   
7. Massimo Marchiori
   Unravelings and Ultra-properties. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:107-121 [Conf]
   
8. Taro Suzuki
   Standardization Theorem Revisited. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:122-134 [Conf]
   
9. Zurab Khasidashvili, John R. W. Glauert
   Discrete Normalization and Standardization in Deterministic Residual Structures. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:135-149 [Conf]
   
10. Luís Caires
    A Language for the Logical Specification of Processes and Relations. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:150-164 [Conf]
    
11. Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský
    A Process Algebra for Synchronous Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:165-178 [Conf]
    
12. Davide Ancona, Elena Zucca
    An Algebraic Approach to Mixins and Modularity. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:179-193 [Conf]
    
13. Heinz Faßbender, Sebastian Maneth
    A Strict Border for the Decidability of E-Unification for Recursive Functions. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:194-208 [Conf]
    
14. Elena Marchiori
    Prime Factorizations of Abstract Domains Using First Order Logic. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:209-223 [Conf]
    
15. Paolo Volpe
    Abstractions of Uniform Proofs. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:224-237 [Conf]
    
16. Roberto Giacobazzi, Francesco Ranzato
    Complementing Logic Program Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:238-253 [Conf]
    
17. Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:254-268 [Conf]
    
18. Ken Mano, Mizuhito Ogawa
    Unique Normal Form Property of Higher-Order Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:269-283 [Conf]
    
19. Maria C. F. Ferreira, Delia Kesner, Laurence Puel
    Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:284-298 [Conf]
    
20. Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas
    Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:299-313 [Conf]
    
21. Dieter Nazareth
    Specifying Type Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:314-329 [Conf]
    
22. Dieter Nazareth
    The Semantic Treatment of Polymorphic Specification Languages. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:330-344 [Conf]