The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2002, volume: 179, number: 2

  1. Glynn Winskel
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:151- [Journal]
  2. Dexter Kozen
    On the Complexity of Reasoning in Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:152-162 [Journal]
  3. Josee Desharnais, Abbas Edalat, Prakash Panangaden
    Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:163-193 [Journal]
  4. Henrik Reif Andersen, Henrik Hulgaard
    Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:194-212 [Journal]
  5. Witold Charatonik, Andreas Podelski
    Set Constraints with Intersection. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:213-229 [Journal]
  6. P. S. Thiagarajan, Igor Walukiewicz
    An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:230-249 [Journal]
  7. Martin Grohe
    Large Finite Structures with Few Lk-Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:250-278 [Journal]
  8. Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
    First-Order Logic with Two Variables and Unary Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:279-295 [Journal]
  9. Jon G. Riecke, Anders Sandholm
    A Relational Account of Call-by-Value Sequentiality. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:296-331 [Journal]
  10. Martin Hofmann, Thomas Streicher
    Completeness of Continuation Models for lambda-mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:332-355 [Journal]
  11. Oliver Matz, Nicole Schweikardt, Wolfgang Thomas
    The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:356-383 [Journal]

  12. Erratum ("Mobile Objects as Mobile Processes" by M. Merro et al, Volume 177, Number 2 [2002], pages 195-241). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:384- [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