default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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 W. 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 Gutierrez:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-08-12 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
