The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1995, volume: 152, number: 1

  1. Daniel Fredholm
    Intensional Aspects of Function Definitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:1-66 [Journal]
  2. Wilfried Hodges
    The Meaning of Specifications I: Domains and Initial Models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:67-89 [Journal]
  3. Egidio Astesiano, Maura Cerioli
    Free Objects and Equational Deduction for Partial Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:91-138 [Journal]
  4. Masahito Kurihara, Azuma Ohuchi
    Modularity in Noncopying Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:139-169 [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