@article{Malgouyres/97, AUTHOR = {Malgouyres, R{\'e}my}, TITLE = {A definition of surfaces of $Z^3$ --- A new 3D discrete Jordan theorem}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {1-41}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Taentzer/97, AUTHOR = {Taentzer, Gabriele}, TITLE = {Parallel high-level replacement systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {43-81}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Leiss/97, AUTHOR = {Leiss, Ernst L.}, TITLE = {Solving systems of explicit language relations}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {83-105}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Badouel-Bernardinello-Darondeau/97, AUTHOR = {Badouel, Eric and Bernardinello, Luca and Darondeau, Philippe}, TITLE = {The synthesis problem for elementary net systems is $NP$-complete}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {107-134}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Peled/97, AUTHOR = {Peled, Doron}, TITLE = {On projective and separable properties}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {135-156}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Kim/97e, AUTHOR = {Kim, Changwook}, TITLE = {A hierarchy of eNCE families of graph languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {157-169}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Flammini-Gambosi/97, AUTHOR = {Flammini, Michele and Gambosi, Giorgio}, TITLE = {On devising Boolean routing schemes}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {171-198}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Afek-Kutten-Yung/97, AUTHOR = {Afek, Yehuda and Kutten, Shay and Yung, Moti}, TITLE = {The local detection paradigm and its applications to self-stabilization}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {199-229}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, } @article{Ohlebusch-Ukkonen/97, AUTHOR = {Ohlebusch, Enno and Ukkonen, Esko}, TITLE = {On the equivalence problem for E-pattern languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {186}, NUMBER = {1-2}, PAGES = {231-248}, YEAR = {1997}, PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)}, ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo}, }