@article{Courcelle/96a, AUTHOR = {Courcelle, Bruno}, TITLE = {Basic notions of universal algebra for language theory and graph grammars}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {1-54}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Bloom-Esik/96a, AUTHOR = {Bloom, Stephen L. and {\'E}sik, Zolt{\'{a}}n}, TITLE = {Free shuffle algebras in language varieties}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {55-98}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Niwinski-Walukiewicz/96, AUTHOR = {Niwi{\'n}ski, Damian and Walukiewicz, Igor}, TITLE = {Games for the $\mu$-calculus}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {99-116}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Colussi-Toniolo/96, AUTHOR = {Colussi, Livio and Toniolo, Laura}, TITLE = {How the character comparison order shapes the shift function of on-line pattern matching algorithms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {117-144}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Derencourt/96, AUTHOR = {Derencourt, Denis}, TITLE = {A three-word code which is not prefix-suffix composed}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {145-160}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Hausen-Tropper/96, AUTHOR = {Hausen-Tropper, E.}, TITLE = {A framework for a theory of automated learning}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {161-176}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Beigel-Gasarch-Kinber/96, AUTHOR = {Beigel, Richard and Gasarch, William and Kinber, Efim}, TITLE = {Frequency computation and bounded queries}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {177-192}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Lehr-Shallit-Tromp/96, AUTHOR = {Lehr, Siegfried and Shallit, Jeffrey and Tromp, John}, TITLE = {On the vector space of the automatic reals}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {193-210}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Levcopoulos-Petersson/96, AUTHOR = {Levcopoulos, Christos and Petersson, Ola}, TITLE = {Exploiting few inversions when sorting: Sequential and parallel algorithms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {211-238}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Gu-Zhu/96, AUTHOR = {Gu, Xunrang and Zhu, Yuzhang}, TITLE = {Optimal Heapsort algorithm}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {239-243}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Vollmer-Wagner/96, AUTHOR = {Vollmer, Heribert and Wagner, Klaus W.}, TITLE = {Recursion theoretic characterizations of complexity classes of counting functions}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {245-258}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Long/96, AUTHOR = {Long, Dongyang}, TITLE = {On group codes}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {259-267}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Fredholm/96, AUTHOR = {Fredholm, Daniel}, TITLE = {Computing minimum with primitive recursion over lists}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {269-276}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Gilman/96, AUTHOR = {Gilman, Robert H.}, TITLE = {A shrinking lemma for indexed languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {277-281}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Tsukiji/96, AUTHOR = {Tsukiji, Tatsuie}, TITLE = {On a small class of Boolean sums}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {283-289}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Blanchard-Maass/96, AUTHOR = {Blanchard, F. and Maass, A.}, TITLE = {Dynamical behaviour of Coven's aperiodic cellular automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {291-302}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Malgouyres/96, AUTHOR = {Malgouyres, R{\'e}my}, TITLE = {There is no local characterization of separating and thin objects in $Z^3$}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {303-308}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Ziadi/96, AUTHOR = {Ziadi, Djelloul}, TITLE = {Regular expression for a language without empty word}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {163}, NUMBER = {1-2}, PAGES = {309-315}, YEAR = {1996}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, }