Bruno Courcelle Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:1-32 [Journal]
Oege de Moor Categories, Relations and Dynamic Programming. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:33-69 [Journal]
Ryu Hasegawa Categorical Data Types in Parametric Polymorphism. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:71-109 [Journal]
Thomas Streicher A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:111-115 [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