The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1995, volume: 146, number: 1&2

  1. Andre Scedrov, Dennis DeTurk, Wolfgang Ziller
    Moez Alimohamed, 1967-1994. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:1-3 [Journal]
  2. Moez Alimohamed
    A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:5-23 [Journal]
  3. Bard Bloom
    Structural Operational Semantics for Weak Bisimulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:25-68 [Journal]
  4. Zena M. Ariola, Arvind
    Properties of a First-Order Functional Language with Sharing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:69-108 [Journal]
  5. Franck Cassez, Olivier Roux
    Compilation of the ELECTRE Reactive Language into Finite Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:109-143 [Journal]
  6. David B. Kemp, Divesh Srivastava, Peter J. Stuckey
    Bottom-Up Evaluation and Query Optimization of Well-Founded Models. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:145-184 [Journal]
  7. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
    Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:185-197 [Journal]
  8. Maria Paola Bonacina, Jieh Hsiang
    Towards a Foundation of Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:199-242 [Journal]
  9. Rolf Backofen, Gert Smolka
    A Complete and Recursive Feature Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:243-268 [Journal]
  10. Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman
    Argument Reduction by Factoring. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:269-310 [Journal]
  11. Fabio Alessi, Paolo Baldan, Gianna Bellè
    A Fixed-Point Theorem in a Category of Compact Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:311-320 [Journal]
  12. Yuji Kobayashi
    A Finitely Presented Monoid Which Has Solvable Word Problem But Has No Regular Complete Presentation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:321-329 [Journal]
  13. Guo-Qiang Zhang
    On Maximal Stable Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:331-339 [Journal]
  14. Anna Ingólfsdóttir
    Late and Early Semantics Coincide for Testing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:341-349 [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