|
Journals in DBLP
- José Nuno Oliveira
A Reification Calculus for Model-Oriented Software Specification. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:1, pp:1-23 [Journal]
- José Carmo, Amílcar Sernadas
Branching versus Linear Logics Yet Again. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:1, pp:24-59 [Journal]
- Wim H. Hesselink
Command Algebras, Recursion and Program Transformation. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:1, pp:60-104 [Journal]
|