The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2004, volume: 311, number: 1-3

  1. A. J. Kfoury, J. B. Wells
    Principality and type inference for intersection types using expansion variables. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:1-70 [Journal]
  2. Claudio Hermida, Paulo Mateus
    Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:71-103 [Journal]
  3. Felix Joachimski
    Confluence of the coinductive [lambda]-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:105-119 [Journal]
  4. Atsushi Igarashi, Naoki Kobayashi
    A generic type system for the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:121-163 [Journal]
  5. Li Jiao, To-Yat Cheung, Weiming Lu
    On liveness and boundedness of asymmetric choice nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:165-197 [Journal]
  6. Yohji Akama
    Limiting partial combinatory algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:199-220 [Journal]
  7. Agostino Dovier, Carla Piazza, Alberto Policriti
    An efficient algorithm for computing bisimulation equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:221-256 [Journal]
  8. Jirí Adámek, Hans-E. Porst
    On tree coalgebras and coalgebra presentations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:257-283 [Journal]
  9. Ernst-Erich Doberkat, Eugenio G. Omodeo
    ER modelling from first relational principles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:285-323 [Journal]
  10. Markus Müller-Olm
    Precise interprocedural dependence analysis of parallel programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:325-388 [Journal]
  11. James Bailey, Guozhu Dong, Kotagiri Ramamohanarao
    On the decidability of the termination problem of active database systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:389-437 [Journal]
  12. Razvan Diaconescu
    Interpolation in Grothendieck Institutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:439-461 [Journal]
  13. Rob J. van Glabbeek, Ursula Goltz
    Well-behaved flow event structures for parallel composition and action refinement. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:463-478 [Journal]
  14. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Rules + strategies for transforming lazy functional logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:479-525 [Journal]
  15. Stacy E. Finkelstein, Peter J. Freyd, James Lipton
    Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:527- [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