The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2000, volume: 160, number: 1-2

  1. Guy McCusker
    Games and Full Abstraction for FPC. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:1-61 [Journal]
  2. Juha Nurmonen
    Counting Modulo Quantifiers on Finite Structures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:62-87 [Journal]
  3. Kousha Etessami, Thomas Wilke
    An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:88-108 [Journal]
  4. Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
    Algorithmic Analysis of Programs with Well Quasi-ordered Domains. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:109-127 [Journal]
  5. Abbas Edalat, Martín Hötzel Escardó
    Integration in Real PCF. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:128-166 [Journal]
  6. Rajeev Alur, Kenneth L. McMillan, Doron Peled
    Model-Checking of Correctness Conditions for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:167-188 [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