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
  
• 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
  

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

Last update Thu May 23 19:36:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page