The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2003, volume: 308, number: 1-3

  1. Jan J. M. M. Rutten
    Behavioural differential equations: a coinductive calculus of streams, automata, and power series. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:1-53 [Journal]
  2. Yuxi Fu, Zhenrong Yang
    Tau laws for pi calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:55-130 [Journal]
  3. H. Peter Gumm, Jesse Hughes, Tobias Schröder
    Distributivity of categories of coalgebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:131-143 [Journal]
  4. Walter Keller
    Clustering for Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:145-197 [Journal]
  5. Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni
    Linearisability on datalog programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:199-226 [Journal]
  6. Karim Nour, Christophe Raffalli
    Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:227-237 [Journal]
  7. Olivier Danvy, Lasse R. Nielsen
    A first-order one-pass CPS transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:239-257 [Journal]
  8. Jean-Louis Krivine
    Dependent choice, `quote' and the clock. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:259-276 [Journal]
  9. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    Model checking mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:277-331 [Journal]
  10. Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
    Adapting innocent game models for the Böhm treelambda -theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:333-366 [Journal]
  11. Yifeng Chen
    A fixpoint theory for non-monotonic parallelism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:367-392 [Journal]
  12. Paulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
    Categorical foundations for randomly timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:393-427 [Journal]
  13. Yann Loyer, Nicolas Spyratos, Daniel Stamate
    Parametrized semantics of logic programs--a unifying framework. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:429-447 [Journal]
  14. Uri Abraham
    Self-stabilizing timestamps. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:449-515 [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