Journals in DBLP

Formal Asp. Comput.
1997, volume: 9, number: 1

1. Marc Bezem, Roland N. Bol, Jan Friso Groote
   Formalizing Process Algebraic Verifications in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:1, pp:1-48 [Journal]
   
2. Jens Palsberg, Mitchell Wand, Patrick O'Keefe
   Type Inference with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:1, pp:49-67 [Journal]
   
3. M. J. A. Caswell
   Equivalence of Formal Semantics Definition Methods. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:1, pp:68-77 [Journal]
   
4. Susumu Nishimura
   A Strict Functional Language with Cyclic Recursive Data. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:1, pp:78-97 [Journal]
   
5. Stein Krogdahl, Olav Lysne
   Verifying a Distributed List System: A Case History. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1997, v:9, n:1, pp:98-118 [Journal]