Abstract is missing.
- Toward the Concurrent Implementation of Computational SystemsIlies Alouini, Claude Kirchner. 1-31
- On Negation As InstantiationAlessandra Di Pierro, Wlodzimierz Drabent. 32-46
- Independence in Dynamically Scheduled Logic LanguagesMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott. 47-61
- Heterogeneous Constraint SolvingFrédéric Benhamou. 62-76
- A Hierarchy of Semantics for Normal Constraint Logic ProgramsFrançois Fages, Roberta Gori. 77-91
- Order-Sorted Termination: The Unsorted WayPeter Csaba Ölveczky, Olav Lysne. 92-106
- Unravelings and Ultra-propertiesMassimo Marchiori. 107-121
- Standardization Theorem RevisitedTaro Suzuki. 122-134
- Discrete Normalization and Standardization in Deterministic Residual StructuresZurab Khasidashvili, John R. W. Glauert. 135-149
- A Language for the Logical Specification of Processes and RelationsLuís Caires. 150-164
- A Process Algebra for Synchronous Concurrent Constraint ProgrammingLubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský. 165-178
- An Algebraic Approach to Mixins and ModularityDavide Ancona, Elena Zucca. 179-193
- A Strict Border for the Decidability of E-Unification for Recursive FunctionsHeinz Faßbender, Sebastian Maneth. 194-208
- Prime Factorizations of Abstract Domains Using First Order LogicElena Marchiori. 209-223
- Abstractions of Uniform ProofsPaolo Volpe. 224-237
- Complementing Logic Program SemanticsRoberto Giacobazzi, Francesco Ranzato. 238-253
- Meaningless Terms in RewritingRichard Kennaway, Vincent van Oostrom, Fer-Jan de Vries. 254-268
- Unique Normal Form Property of Higher-Order Rewriting SystemsKen Mano, Mizuhito Ogawa. 269-283
- Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong NormalizationMaria C. F. Ferreira, Delia Kesner, Laurence Puel. 284-298
- Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted TypesJesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas. 299-313
- Specifying Type SystemsDieter Nazareth. 314-329
- The Semantic Treatment of Polymorphic Specification LanguagesDieter Nazareth. 330-344