Journals in DBLP

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

1. Ralf Hinze
   Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:2, pp:125-170 [Journal]
   
2. Sergei M. Abramov, Robert Glück
   From Standard to Non-Standard Semantics by Semantics Modifiers. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:2, pp:171-211 [Journal]
   
3. Takafumi Sakurai
   Categorical Model Construction for Proving Syntactic Properties. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:2, pp:213-244 [Journal]