Journals in DBLP

Formal Asp. Comput.
1995, volume: 7, number: 2

1. Naoki Kobayashi, Akinori Yonezawa
   Asynchronous Communication Model Based on Linear Logic. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:2, pp:113-149 [Journal]
   
2. J. Michael Spivey
   Unification: A Case-Study in Data Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:2, pp:150-168 [Journal]
   
3. Ingrid Rewitzky, Chris Brink
   Predicate Transformers as Power Operations. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:2, pp:169-182 [Journal]
   
4. Sunil Vadera
   Proof by Analogy in Mural. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:2, pp:183-206 [Journal]
   
5. Bryan S. Todd, Richard Stamper
   A Formal Model of Explanation. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:2, pp:207-225 [Journal]