@article{Braga-Cattaneo-Flocchini-Vogliotti/95,
AUTHOR = {Braga, G. and Cattaneo, G. and Flocchini, P. and Vogliotti, C. Quaranta},
TITLE = {Pattern growth in elementary cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {1-26},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Braga-Cattaneo-Flocchini-Vogliotti/95a,
AUTHOR = {Braga, G. and Cattaneo, G. and Flocchini, P. and Vogliotti, C. Quaranta},
TITLE = {Fundamental study: Pattern growth in elementary cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {1-26},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Srikrishna-Rangan/95,
AUTHOR = {Srikrishna, G. and Rangan, C. Pandu},
TITLE = {Optimal parallel algorithms for path problems on planar graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {27-43},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Breitbart-Hunt-Rosenkrantz/95,
AUTHOR = {Breitbart, Y. and Hunt III, H. and Rosenkrantz, D.},
TITLE = {On the size of binary decision diagrams representing Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {45-69},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Leiss/95,
AUTHOR = {Leiss, Ernst L.},
TITLE = {Implicit language equations: Existence and uniqueness of solutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {71-93},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Diks-Kranakis-Malinowski-Pelc/95,
AUTHOR = {Diks, Krzysztof and Kranakis, Evangelos and Malinowski, Adam and Pelc, Andrzej},
TITLE = {Anonymous wireless rings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {95-109},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Creignou/95a,
AUTHOR = {Creignou, Nadia},
TITLE = {The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {111-145},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Stewart/95b,
AUTHOR = {Stewart, Iain A.},
TITLE = {Complete problems for monotone NP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {147-157},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Drewes-Habel-Kreowski-Taubenberger/95,
AUTHOR = {Drewes, F. and Habel, A. and Kreowski, H.-J. and Taubenberger, S.},
TITLE = {Generating self-affine fractals by collage grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {159-187},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Cai-Paige/95,
AUTHOR = {Cai, Jiazhen and Paige, Robert},
TITLE = {Using multiset discrimination to solve language processing problems without hashing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {189-228},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Reutenauer-Schutzenberger/95,
AUTHOR = {Reutenauer, Christophe and Sch{\"u}tzenberger, Marcel Paul},
TITLE = {Vari{\'e}t{\'e}s et fonctions rationnelles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {229-240},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ko/95b,
AUTHOR = {Ko, Ker-I},
TITLE = {A polynomial-time computable curve whose interior has a nonrecursive measure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {241-270},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Biran-Moran-Zaks/95,
AUTHOR = {Biran, Ofer and Moran, Shlomo and Zaks, Shmuel},
TITLE = {Tight bounds on the round complexity of distributed 1-solvable tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {271-290},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ginsburg-Tanaka/95,
AUTHOR = {Ginsburg, Seymour and Tanaka, Katsumi},
TITLE = {Interval queries on object histories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {291-316},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Middendorf/95,
AUTHOR = {Middendorf, Martin},
TITLE = {On finding minimal, maximal, and consistent sequences over a binary alphabet},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {317-327},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jamison-Olariu/95b,
AUTHOR = {Jamison, B. and Olariu, S.},
TITLE = {A linear-time recognition algorithm for $P_4$-reducible graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {329-344},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zhang-Shen/95,
AUTHOR = {Zhang, Liang and Shen, Zhonghui},
TITLE = {Completion of recognizable bifix codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {345-355},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Benson/95,
AUTHOR = {Benson, Gary},
TITLE = {A space efficient algorithm for finding the best nonoverlapping alignment score},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {357-369},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hemaspaandra-Jiang/95,
AUTHOR = {Hemaspaandra, Lane A. and Jiang, Zhigen},
TITLE = {$P$-selectivity: Intersections and indices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {371-380},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Teng/95,
AUTHOR = {Teng, Shang-Hua},
TITLE = {Independent sets versus perfect matchings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {381-390},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Maler/95,
AUTHOR = {Maler, Oded},
TITLE = {A decomposition theorem for probabilistic transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {145},
NUMBER = {1-2},
PAGES = {391-396},
YEAR = {1995},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}