Journal: Theoretical Computer Science

Volume 186, Issue 1-2

1 -- 41Rémy Malgouyres. A Definition of Surfaces of Z: A new 3D Discrete Jordan Theorem
43 -- 81Gabriele Taentzer. Parallel High-Level Replacement Systems
83 -- 105Ernst L. Leiss. Solving Systems of Explicit Language Relations
107 -- 134Eric Badouel, Luca Bernardinello, Philippe Darondeau. The Synthesis Problem for Elementary Net Systems is NP-Complete
135 -- 156Doron Peled. On Projective and Separable Properties
157 -- 169Changwook Kim. A Hierarchy of eNCE Families of Graph Languages
171 -- 198Michele Flammini, Giorgio Gambosi. On Devising Boolean Routing Schemes
199 -- 229Yehuda Afek, Shay Kutten, Moti Yung. The Local Detection Paradigm and Its Application to Self-Stabilization
231 -- 248Enno Ohlebusch, Esko Ukkonen. On the Equivalence Problem for E-Pattern Languages