Theoretical Computer Science, Volume 360

Volume 360, Numbers 1-3, August 2006

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

• Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
  Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets". 459
  Electronic Edition (link) BibTeX