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