ask others

5. ALP 1996: Aachen, Germany

> Home > Conferences and Workshops > ALP

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/1996
Michael Hanus, Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139, Springer 1996, ISBN 3-540-61735-3

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/AlouiniK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/AlouiniK96
Ilies Alouini, Claude Kirchner:
Toward the Concurrent Implementation of Computational Systems. 1-31

Logic Programming

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/PierroD96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/PierroD96
Alessandra Di Pierro, Wlodzimierz Drabent:
On Negation As Instantiation. 32-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/BandaHM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/BandaHM96
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Dynamically Scheduled Logic Languages. 47-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Benhamou96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Benhamou96
Frédéric Benhamou:
Heterogeneous Constraint Solving. 62-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/FagesG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/FagesG96
François Fages, Roberta Gori:
A Hierarchy of Semantics for Normal Constraint Logic Programs. 77-91

Term Rewriting

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/OlveszkyL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/OlveszkyL96
Peter Csaba Ölveczky, Olav Lysne:
Order-Sorted Termination: The Unsorted Way. 92-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Marchiori96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Marchiori96
Massimo Marchiori:
Unravelings and Ultra-properties. 107-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Suzuki96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Suzuki96
Taro Suzuki:
Standardization Theorem Revisited. 122-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/KhasidashviliG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/KhasidashviliG96
Zurab Khasidashvili, John R. W. Glauert:
Discrete Normalization and Standardization in Deterministic Residual Structures. 135-149

Integration of Paradigms

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Caires96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Caires96
Luís Caires:
A Language for the Logical Specification of Processes and Relations. 150-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/BrimJGK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/BrimJGK96
Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming. 165-178
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/AnconaZ96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/AnconaZ96
Davide Ancona, Elena Zucca:
An Algebraic Approach to Mixins and Modularity. 179-193
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/FassbenderM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/FassbenderM96
Heinz Faßbender, Sebastian Maneth:
A Strict Border for the Decidability of E-Unification for Recursive Functions. 194-208

Abstract Interpretation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Marchiori96a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Marchiori96a
Elena Marchiori:
Prime Factorizations of Abstract Domains Using First Order Logic. 209-223
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Volpe96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Volpe96
Paolo Volpe:
Abstractions of Uniform Proofs. 224-237
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/GiacobazziR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/GiacobazziR96
Roberto Giacobazzi, Francesco Ranzato:
Complementing Logic Program Semantics. 238-253

Lambda-Calculus and Rewriting

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/KennawayOV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/KennawayOV96
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries:
Meaningless Terms in Rewriting. 254-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/ManoO96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/ManoO96
Ken Mano, Mizuhito Ogawa:
Unique Normal Form Property of Higher-Order Rewriting Systems. 269-283
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/FerreiraKP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/FerreiraKP96
Maria C. F. Ferreira, Delia Kesner, Laurence Puel:
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. 284-298

Types

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Almendros-JimenezGG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Almendros-JimenezGG96
Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas:
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. 299-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Nazareth96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Nazareth96
Dieter Nazareth:
Specifying Type Systems. 314-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Nazareth96a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Nazareth96a
Dieter Nazareth:
The Semantic Treatment of Polymorphic Specification Languages. 330-344

maintained by

, founded at