Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-04-19 19:19 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:
