@article{Plaisted/79,
AUTHOR = {Plaisted, D.A.},
TITLE = {Fast verification, testing, and generation of large primes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {1-16},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Erratum in Theor.~Comput.~Sci., Vol. 14, 345},
}
@article{Duval/79,
AUTHOR = {Duval, J.-P.},
TITLE = {P{\'e}riodes et r{\'e}p{\'e}titions des mots du monoide libre},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {17-26},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bergstra-Klop/79,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {Church-Rosser strategies in the lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {27-38},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Guessarian/79a,
AUTHOR = {Guessarian, I.},
TITLE = {Program transformations and algebraic semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {39-65},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Statman/79,
AUTHOR = {Statman, R.},
TITLE = {Intuitionistic propositional logic is polynomial-space complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {67-72},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Statman/79a,
AUTHOR = {Statman, R.},
TITLE = {The typed $\lambda$-calculus is not elementary recursive},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {73-81},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wegener/79,
AUTHOR = {Wegener, I.},
TITLE = {Switching functions whose monotone complexity is nearly quadratic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {83-97},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Flajolet-Raoult-Vuillemin/79,
AUTHOR = {Flajolet, P. and Raoult, J.C. and Vuillemin, J.},
TITLE = {The number of registers required for evaluating arithmetic expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {99-125},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wechsung-Brandstadt/79,
AUTHOR = {Wechsung, G. and Brandst{\"a}dt, A.},
TITLE = {A relation between space, return and dual return complexities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {127-140},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Christol/79,
AUTHOR = {Christol, G.},
TITLE = {Ensembles presque periodiques k-reconnaissables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {141-145},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wegener/79a,
AUTHOR = {Wegener, I.},
TITLE = {A counterexample to a conjecture of Schnorr referring to monotone networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {1},
PAGES = {147-150},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tang/79,
AUTHOR = {Tang, A.},
TITLE = {Chain properties in $P_\omega$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {2},
PAGES = {153-172},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Harrison-Havel-Yehudai/79,
AUTHOR = {Harrison, M.A. and Havel, I.M. and Yehudai, A.},
TITLE = {On equivalence of grammars through transformation trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {2},
PAGES = {173-205},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Karhumaki/79,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {On commutative DTOL systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {2},
PAGES = {207-220},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Perrin/79,
AUTHOR = {Perrin, D.},
TITLE = {La repr{\'e}sentation ergodique d'un automate fini},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {2},
PAGES = {221-241},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ashcroft-Fich/79,
AUTHOR = {Ashcroft, E.A. and Fich, F.E.},
TITLE = {A generalized setting for fixpoint theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {2},
PAGES = {243-256},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bloom-Tindell/79,
AUTHOR = {Bloom, S.L. and Tindell, R.},
TITLE = {Algebraic and graph theoretic characterizations of structured flowchart schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {265-286},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nijholt/79b,
AUTHOR = {Nijholt, A.},
TITLE = {Simple chain grammars and languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {287-309},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Inoue-Takanami-Nakamura-Ae/79,
AUTHOR = {Inoue, K. and Takanami, I. and Nakamura, A. and Ae, T.},
TITLE = {One-way simple multihead finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {311-328},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aubin/79,
AUTHOR = {Aubin, R.},
TITLE = {Mechanizing structural induction part I: Formal system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {329-345},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aubin/79a,
AUTHOR = {Aubin, R.},
TITLE = {Mechanizing structural induction part II: Strategies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {347-362},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Reutenauer/79a,
AUTHOR = {Reutenauer, C.},
TITLE = {Sur les s{\'e}ries associ{\'e}es {\`a} certains systmes de Lindenmayer},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {363-375},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ruohonen/79a,
AUTHOR = {Ruohonen, K.},
TITLE = {On some decidability problems for HDOL systems with nonsingular Parikh matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {377-384},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rodriquez/79,
AUTHOR = {Rodriquez, F.},
TITLE = {Familles de langages fermees par crochet ouvert},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {9},
NUMBER = {3},
PAGES = {385-398},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}