|
Journals in DBLP
- George Markowsky
Categories of Chain-Complete Posets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:125-135 [Journal]
- Chiharu Hosono, Masahiko Sato
The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:137-142 [Journal]
- Matthew M. Geller, Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
Economy of Description by Parsers, DPDA'S, and PDA'S. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:143-153 [Journal]
- Jean Françon
On the Analysis of Algorithms for Trees. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:155-169 [Journal]
- Hans-Georg Stork
On the Paging-Complexity of Periodic Arrangements. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:171-197 [Journal]
- Hermann A. Maurer, Thomas Ottmann, Arto Salomaa
On the Form Equivalence of L-Forms. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:199-225 [Journal]
- Jeanne Ferrante, James R. Geiser
An Efficient Decision Procedure for the Theory of Rational Order. [Citation Graph (3, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:227-233 [Journal]
- Daniel J. Lehmann
A Note on Schnorr's Separatedness. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:235- [Journal]
|