Journals in DBLP

Int. J. Found. Comput. Sci.
2001, volume: 12, number: 1

1. Masako Takahashi
   Lambda-Representable Functions Over Term Algebras. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:3-29 [Journal]
   
2. Yasuyuki Tsukada
   Martin-Löf's Type Theory as an Open-Ended Framework. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:31-67 [Journal]
   
3. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
   Rewriting with Strategies in ELAN: A Functional Semantics. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:69-95 [Journal]
   
4. Edgar F. A. Lederer, Romeo A. Dumitrescu
   Automatic Result Verification by Complete Run-Time Checking of Computations. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:97-124 [Journal]