Peter Dybjer Some Results on the Deductive Structure of Join Dependencies. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:95-105 [Journal]
Victor Y. Pan The Technique of Trilinear Aggregating and the Recent Progress in the Asymptotic Acceleration of Matrix Operations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:117-138 [Journal]
Elfriede Fehr Expressive Power of Typed and Type-Free Programming Languages. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:195-238 [Journal]
Yael Maon, Amiram Yehudai On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:239-260 [Journal]
Friedrich Otto Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:261-278 [Journal]