The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2006, volume: 354, number: 1

  1. Anton Nijholt, Giuseppe Scollo, Uwe Mönnich
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:1-3 [Journal]
  2. Chantal Berline, Antonino Salibra
    Easiness in graph models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:4-23 [Journal]
  3. Dana Harrington
    Uniqueness logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:24-41 [Journal]
  4. Markus Roggenbach
    CSP-CASL - A new integration of process algebra and algebraic specification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:42-71 [Journal]
  5. Gerald Penn
    Efficient transitive closure of sparse matrices over closed semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:72-81 [Journal]
  6. Stephan Kepser, Uwe Mönnich
    Closure properties of linear context-free tree languages with an application to optimality theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:82-97 [Journal]
  7. Helmar Gust, Kai-Uwe Kühnberger, Ute Schmid
    Metaphors and heuristic-driven theory projection (HDTP). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:98-117 [Journal]
  8. Peter R. J. Asveld
    Generating all permutations by context-free grammars in Chomsky normal form. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:118-130 [Journal]
  9. Marcus Kracht
    Partial algebras, meaning categories and algebraization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:131-141 [Journal]
  10. Radu Gramatovici, Carlos Martín-Vide
    Sorted dependency insertion grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:142-152 [Journal]
  11. Rohit N. Kundaji, R. K. Shyamasundar
    Refinement calculus: A basis for translation validation, debugging and certification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:153-168 [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