|
Journals in DBLP
- Bart Jacobs
Comprehension Categories and the Semantics of Type Dependency. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:169-207 [Journal]
- Marco Bellia, M. Eugenia Occhiuto
C-Expressions: A Variable-Free Calculus for Equational Logic Programming. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:209-252 [Journal]
- Sachio Hirokawa
Principal Types of BCK-lambda-Terms. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:253-276 [Journal]
- Agostino Cortesi, Gilberto Filé
Graph Properties for Normal Logic Programs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:277-303 [Journal]
- Michael G. Main, David L. Black
Semantic Models for Total Correctness and Fairness. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:305-332 [Journal]
- Vugranam C. Sreedhar, Kazem Taghva
Capturing Strong Reduction in Director String Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:333-347 [Journal]
- Gilles Dowek
The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:349-356 [Journal]
- Robin Milner, Faron Moller
Unique Decomposition of Processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:107, n:2, pp:357-363 [Journal]
|