The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1991, volume: 82, number: 2

  1. Michel Bauderon
    Infinite Hypergraphs I. Basic Properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:177-214 [Journal]
  2. Giorgio Germano, Stefano Mazzanti
    Closure Functions and General Iterates as Reflectors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:215-252 [Journal]
  3. Martín Abadi, Leslie Lamport
    The Existence of Refinement Mappings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:253-284 [Journal]
  4. Jos C. M. Baeten, Jan A. Bergstra
    Recursive Process Definitions with the State Operator. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:285-302 [Journal]
  5. Axel Lukassen, Gottfried Vossen
    A Formal Framework for Independence with Respect to Transactions in the Universal Relation Model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:303-327 [Journal]
  6. Wieslaw Szwast
    On Horn Spectra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:329-339 [Journal]
  7. Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
    A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:341-372 [Journal]
  8. François Denis, Jean-Paul Delahaye
    Is there an Axiomatic Semantics for Standard Pure Prolog. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:373-388 [Journal]
  9. Pierre-Louis Curien
    An Abstract Framework for Environment Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:389-402 [Journal]
  10. Eric Badouel, Philippe Darondeau
    On Guarded Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:403-408 [Journal]
  11. R. Hoofman
    Weakly Expressive Models for Hoare Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:82, n:2, pp:409-418 [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