Bulletin of the EATCS, Volume 87

Volume 87, October 2005

• Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch: Some New Techniques in Design and Analysis of Exact (Exponential) Algorithms. 47-77 BibTeX

• Peter Høyer, Robert Spalek: Lower Bounds on Quantum Query Complexity. 78-103 BibTeX

• Catuscia Palamidessi, Frank D. Valencia: Recursion vs Replication in Process Calculi: Expressiveness. 105-125 BibTeX

• Barbara König, Vitali Kozioura: Augur - A Tool for the Analysis of Graph Transformation Systems. 126-137 BibTeX

• Julia Padberg: Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. 138-154 BibTeX

• Jan Van den Bussche: First-order Topology Properties. 155-164 BibTeX

• Yasubumi Sakakibara: Development of a Bacteria Computer: From in silico Finite Automata to in virto AND in vivo. 165-178 BibTeX

• Pedro García, Manuel Vazquez de Parga: A note about mergible states in large NFA. 181-184 BibTeX
• Olivier Finkel: On Decision Problems for Timed Automata. 185-190 BibTeX
• Pál Dömösi, Géza Horváth: The Language of Primitive Words in not Regular: Two Simple Proofs. 191-194 BibTeX