The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2006, volume: 360, number: 1-3

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Linh Anh Nguyen
    Multimodal logic programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:247-288 [Journal]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002