Volume 360,
Numbers 1-3,
August 2006
- David Friggens, Robert Goldblatt:
A modal proof theory for final polynomial coalgebras.
1-22
- David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
Theoretical foundations of dynamic program slicing.
23-41
- Paola Bruscoli, Alessio Guglielmi:
On structuring proof search for first order linear logic.
42-76
- Ernie Manes:
Boolean restriction categories and taut monads.
77-95
- Stéphane Demri:
LTL over integer periodicity constraints.
96-123
- Yves Guiraud:
Two polygraphic presentations of Petri nets.
124-146
- Zhaohui Zhu, Rong Zhang, Shan Lu:
A characterization theorem for injective model classes axiomatized by general rules.
147-171
- Slawomir Lasota:
Decidability of performance equivalence for basic parallel processes.
172-192
- Gilles Dowek, Ying Jiang:
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
193-208
- Gerald Lüttgen, Walter Vogler:
Bisimulation on speed: A unified approach.
209-227
- Daniel J. Dougherty, Claudio Gutiérrez:
Normal forms for binary relations.
228-246
- Linh Anh Nguyen:
Multimodal logic programming.
247-288
- Nikos Tzevelekos:
Investigations on the Dual Calculus.
289-326
- Haruo Hosoya, Makoto Murata:
Boolean operations and inclusion test for attribute-element constraints.
327-351
- Laura Bozzelli:
Model checking for process rewrite systems and a class of action-based regular properties.
352-372
- Franck van Breugel, James Worrell:
Approximating and computing behavioural distances in probabilistic transition systems.
373-385
- Roberto Bruni, José Meseguer:
Semantic foundations for generalized rewrite theories.
386-414
- Markus Michelbrink:
Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory.
415-439
- Michele Boreale, Fabio Gadducci:
Processes as formal power series: A coinductive approach to denotational semantics.
440-458
Erratum
Copyright © Sat Nov 21 01:38:14 2009
by Michael Ley (ley@uni-trier.de)
