@article{Flajolet-Zimmerman-Cutsem/94, AUTHOR = {Flajolet, Philippe and Zimmerman, Paul and Cutsem, Bernard van}, TITLE = {A calculus for the random generation of labelled combinatorial structures}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {1-35}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Juedes-Lathrop-Lutz/94, AUTHOR = {Juedes, David W. and Lathrop, James I. and Lutz, Jack H.}, TITLE = {Computational depth and reducibility}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {37-70}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Leiss/94a, AUTHOR = {Leiss, E.L.}, TITLE = {Unrestricted complementation in language equations over a one-letter alphabet}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {71-84}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Kim/94, AUTHOR = {Kim, Changwook}, TITLE = {Retreat bounded picture languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {85-112}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Koiran-Cosnard-Garzon/94, AUTHOR = {Koiran, Pascal and Cosnard, Michel and Garzon, Max}, TITLE = {Computability with low-dimensional dynamical systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {113-128}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Kari/94b, AUTHOR = {Kari, Lila}, TITLE = {On language equations with invertible operations}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {129-150}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Bonizzoni/94, AUTHOR = {Bonizzoni, Paola}, TITLE = {Primitive 2-structures with the $(n-2)$-property}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {151-178}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Pighizzini/94, AUTHOR = {Pighizzini, Giovanni}, TITLE = {Asynchronous automata versus asynchronous cellular automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {179-207}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Ehrenfeucht-McConnell/94, AUTHOR = {Ehrenfeucht, A. and McConnell, R.}, TITLE = {A $k$-structure generalization of the theory of 2-structures}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {209-227}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Ambos-Spies-Homer-Soare/94, AUTHOR = {Ambos-Spies, Klaus and Homer, Steven and Soare, Robert I.}, TITLE = {Minimal pairs and complete problems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {229-241}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Birget-Stephen/94, AUTHOR = {Birget, Jean-Camille and Stephen, Joseph B.}, TITLE = {Formal languages defined by uniform substitutions}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {243-258}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Roka/94, AUTHOR = {R{\'o}ka, Zsuzsanna}, TITLE = {One-way cellular automata on Cayley graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {259-290}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{de_Santis-Crescenzo-Persiano/94, AUTHOR = {de Santis, Alfredo and Crescenzo, Giovanni di and Persiano, Guiseppe}, TITLE = {The knowledge complexity of quadratic residuosity languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {291-317}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Hromkovic-Rovan-Slobodova/94, AUTHOR = {Hromkovi{\v{c}}, Juraj and Rovan, Branislav and Slobodova, Anna}, TITLE = {Deterministic versus nondeterministic space in terms of synchronized alternating machines}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {319-336}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Diestel-Leader/94, AUTHOR = {Diestel, R. and Leader, I.}, TITLE = {Domination games on infinite graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {337-345}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Shufelt-Berliner/94, AUTHOR = {Shufelt, Jefferey A. and Berliner, Hans J.}, TITLE = {Generating Hamiltonian circuits without backtracking from errors}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {347-375}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Ben-Amram/94, AUTHOR = {Ben-Amram, Amir M.}, TITLE = {Unit-cost pointers versus logarithmic-cost addresses}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {377-385}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Bridges-Calude/94, AUTHOR = {Bridges, Douglas and Calude, Cristian}, TITLE = {On recursive bounds for the exceptional values in speed-up}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {387-394}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Lescanne/94, AUTHOR = {Lescanne, Pierre}, TITLE = {On termination of one rule rewrite systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {395-401}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Crochemore-Rytter/94b, AUTHOR = {Crochemore, Maxime and Rytter, Wojciech}, TITLE = {On two-dimensional pattern matching by optimal parallel algorithms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {403-414}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Berstel-Pocchiola/94, AUTHOR = {Berstel, J. and Pocchiola, M.}, TITLE = {Average cost of Duval's algorithm for generating Lyndon words}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {415-425}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Ilie/94, AUTHOR = {Ilie, Lucian}, TITLE = {On a conjecture about slender context-free languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {427-434}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, } @article{Duris-Rolim/94a, AUTHOR = {D{\'u}ri{\v{s}}, Pavol and Rolim, Jos{\'e} D.P.}, TITLE = {A note on the density of oracle decreasing time-space complexity}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {132}, NUMBER = {1-2}, PAGES = {435-444}, YEAR = {1994}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Tokyo}, }