The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1996, volume: 167, number: 1&2

  1. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
    Foreword: Special Volume of TAPSOFT 1995 Papers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:1- [Journal]
  2. Martin Hofmann, Donald Sannella
    On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:3-45 [Journal]
  3. Bengt Jonsson, Yih-Kuen Tsay
    Assumption/Guarantee Specifications in Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:47-72 [Journal]
  4. Dexter Kozen
    Rational Spaces and Set Constraints. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:73-94 [Journal]
  5. Aart Middeldorp, Satoshi Okui, Tetsuo Ida
    Lazy Narrowing: Strong Completeness and Eager Variable Elimination. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:95-130 [Journal]
  6. Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
    Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:131-170 [Journal]
  7. Kai Salomaa
    Decidability of Equivalence for Deterministic Synchronized Tree Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:171-192 [Journal]
  8. David Sands
    Proving the Correctness of Recursion-Based Automatic Program Transformations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:193-233 [Journal]
  9. Davide Sangiorgi
    pi-Calculus, Internal Mobility, and Agent-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:235-274 [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