The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1994, volume: 135, number: 2

  1. Christel Baier, Mila E. Majster-Cederbaum
    Denotational Semantics in the CPO and Metric Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:171-220 [Journal]
  2. Hartmut Ehrig, Martin Große-Rhode
    Functorial Theory of Parameterized Specifications in a General Specification Framework. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:221-266 [Journal]
  3. Alexey L. Lastovetsky, Sergey S. Gaissaryan
    An Algebraic Approach to Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:267-288 [Journal]
  4. Felipe Bracho, Manfred Droste
    Labelled Domains and Automata with Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:289-318 [Journal]
  5. Pascal Manoury, Marianna Simonot
    Automatizing Termination Proofs of Recursively Defined Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:319-343 [Journal]
  6. Elizabeth A. Scott
    Weights for Total Division Orderings on Strings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:345-359 [Journal]
  7. Kunihiko Hiraishi
    Some Complexity Results on Transition Systems and Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:361-376 [Journal]
  8. Jianan Li, Ichiro Suzuki, Masafumi Yamashita
    Fair Petri Nets and Structural Induction for Rings of Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:377-404 [Journal]
  9. P. Trigg, J. Roger Hindley, Martin W. Bunder
    Combinatory Abstraction Bsing B, B' and Friends. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:405-422 [Journal]
  10. René David
    The Inf Function in the System F. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:423-431 [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