Abstract is missing.
- An Algebraic Framework for Separate Type-CheckingDavide Ancona. 1-15 [doi]
- Moving Specification Structures Between Logical SystemsTomasz Borzyszkowski. 16-30 [doi]
- Normal Forms for Partitions and RelationsRoberto Bruni, Fabio Gadducci, Ugo Montanari. 31-47 [doi]
- Parameterisation of LogicsCarlos Caleiro, Cristina Sernadas, Amílcar Sernadas. 48-62 [doi]
- Semantic Constructions for Hidden AlgebraCorina Cîrstea. 63-78 [doi]
- Functorial Semantics for Multi-algebrasAndrea Corradini, Fabio Gadducci. 79-91 [doi]
- An Algebra of Graph Derivations Using Finite (co-) Limit Double TheoriesAndrea Corradini, Martin Große-Rhode, Reiko Heckel. 92-106 [doi]
- Hierarchical Heterogeneous SpecificationsSophie Coudert, Gilles Bernot, Pascale Le Gall. 107-121 [doi]
- Parallel Admissible Graph RewritingRachid Echahed, Jean-Christophe Janodet. 122-137 [doi]
- Refinements and Modules for Typed Graph Transformation SystemsMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. 138-151 [doi]
- Complete Strategies for Term Graph NarrowingAnnegret Habel, Detlef Plump. 152-167 [doi]
- Non-deterministic Computations in ELANHélène Kirchner, Pierre-Etienne Moreau. 168-182 [doi]
- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science LogicsBeata Konikowska. 183-197 [doi]
- Translationg OBJ3 into CASL: The Institution LevelTill Mossakowski. 198-215 [doi]
- CASL: A Guided Tour of Its DesignPeter D. Mosses. 216-240 [doi]
- Abstract Petri Nets as a Uniform Approach to High/Level Petri NetsJulia Padberg. 241-260 [doi]
- Using Reflection to Specify Transaction Sequences in Rewriting LogicIsabel Pita, Narciso Martí-Oliet. 261-276 [doi]
- Concurrency and Data Types: A Specification Method: An Example with LOTOSPascal Poizat, Christine Choppy, Jean-Claude Royer. 277-292 [doi]
- The Situation and State Calculus versus Branching Temporal LogicJaime Ramos, Amílcar Sernadas. 293-309 [doi]
- Modular Specification of Concurrent Systems with Observational LogicPedro Resende. 310-325 [doi]
- Proof Normalization of Structured Algebraic Specifications Is ConvergentMartin Wirsing, John N. Crossley, Hannes Peterreins. 326-340 [doi]