The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
1997, volume: 32, number: 1

  1. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Fork Algebras in Algebra, Logic and Computer Science. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:1-25 [Journal]
  2. Stefano Kasangian, Sebastiano Vigna
    The Topos of Labelled Trees: A Categorical Semantics for SCCS. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:27-45 [Journal]
  3. Don Pigozzi, Antonino Salibra
    Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:47-90 [Journal]
  4. Jerzy Tyszkiewicz
    Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:91-105 [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