|
Journals in DBLP
- Patrice Enjalbert, Luis Fariñas del Cerro
Modal Resolution in Clausal Form. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:65, n:1, pp:1-33 [Journal]
- Martín Abadi
The Power of Temporal Proofs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:65, n:1, pp:35-83 [Journal]
- Satish R. Thatte
Full Abstraction and Limiting Completeness in Equational Languages. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:65, n:1, pp:85-119 [Journal]
|