@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)},
}
@article{Soisalon-Soininen/79,
AUTHOR = {Soisalon-Soininen, E.},
TITLE = {On the covering problem for left-recursive grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {1-11},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wand/79a,
AUTHOR = {Wand, M.},
TITLE = {Fixed-point constructions in order-enriched categories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {13-30},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bibel/79,
AUTHOR = {Bibel, W.},
TITLE = {Tautology testing with a generalized matrix reduction method},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {31-44},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Comments in Theor.~Comput.~Sci.~11, 341},
}
@article{Preparata-Muller/79,
AUTHOR = {Preparata, F.P. and Muller, D.E.},
TITLE = {Finding the intersection of $n$ half-spaces in time $O(n\log n)$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {45-55},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Johansen/79,
AUTHOR = {Johansen, P.},
TITLE = {The generating function of the number of subpatterns of a DOL sequence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {57-68},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hashigushi/79,
AUTHOR = {Hashigushi, K.},
TITLE = {A decision procedure for the order of regular events},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {69-72},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Majster/79,
AUTHOR = {Majster, M.E.},
TITLE = {Data types, abstract data types and their specification problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {1},
PAGES = {89-127},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hopcroft-Pansiot/79,
AUTHOR = {Hopcroft, John and Pansiot, Jean-Jacques},
TITLE = {On the reachability problem for 5-dimensional vector addition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {135-159},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Prodinger-Urbanek/79,
AUTHOR = {Prodinger, H. and Urbanek, F.J.},
TITLE = {Language operators related to Init},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {161-175},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Baker-Selman/79,
AUTHOR = {Baker, Theodore P. and Selman, Alan L.},
TITLE = {A second step toward the polynomial hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {177-187},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Valiant/79b,
AUTHOR = {Valiant, L.G.},
TITLE = {The complexity of computing the permanent},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {189-201},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pudlak-Springsteel/79,
AUTHOR = {Pudl{\'a}k, P. and Springsteel, F.N.},
TITLE = {Complexity in mechanized hypothesis formation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {203-225},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hajek/79,
AUTHOR = {H{\'a}jek, Petr},
TITLE = {Arithmetical hierarchy and complexity of computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {227-237},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmanis/79a,
AUTHOR = {Hartmanis, Juris},
TITLE = {Relations between diagonalization, proof systems, and complexity gaps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {239-253},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Morgenstern/79,
AUTHOR = {Morgenstern, J.},
TITLE = {Une extension du theorme de Winograd},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {255-259},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Arnold-Latteux/79,
AUTHOR = {Arnold, A. and Latteux, M.},
TITLE = {A new proof of two theorems about rational transductions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {2},
PAGES = {261-263},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bohm-Dezani-Ciancaglini-Peretti-Rocca/79,
AUTHOR = {B{\"o}hm, C. and Dezani-Ciancaglini, M. and Peretti, P. and Rocca, S. Ronchi Della},
TITLE = {A discrimination algorithm inside $\lambda-\beta$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {271-291},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Beauquier/79a,
AUTHOR = {Beauquier, J.},
TITLE = {G{\'e}n{\'e}rateurs alg{\'e}briques et systmes de paires it{\'e}rantes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {293-323},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Elgot-Shepherdson/79,
AUTHOR = {Elgot, C.C. and Shepherdson, J.C.},
TITLE = {A semantically meaningful characterization of reducible flowchart schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {325-357},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Winograd/79,
AUTHOR = {Winograd, S.},
TITLE = {On multiplication in algebraic extension fields},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {359-377},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dolev/79,
AUTHOR = {Dolev, D.},
TITLE = {Commutation properties and generating sets characterize slices of various synchronization primitives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {379-391},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hindley/79,
AUTHOR = {Hindley, R.},
TITLE = {The discrimination theorem holds for combinatory weak reduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {393-394},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Autebert/79a,
AUTHOR = {Autebert, J.-M.},
TITLE = {Une note sur le cylindre des langages d{\'e}terministes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {8},
NUMBER = {3},
PAGES = {395-399},
YEAR = {1979},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}