Bulletin of the EATCS, Volume 85

Volume 85, February 2005

• Harry Buhrman, Leen Torenvliet: A Post's Program for Complexity Theory. 41-51 BibTeX

• Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. 53-69 BibTeX

• Costas Busch, Marios Mavronicolas, Paul G. Spirakis: An Application of the Monotone Linearizability Lemma. 70-80 BibTeX

• Michal Kunc: Simple language Equations. 81-102 BibTeX

• Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka: Local Computation in Graphs: The Case of Cellular Edge Local Computations. 105-109 BibTeX

• David G. Mitchell: A SAT Solver Primer. 112-132 BibTeX

• Natalio Krasnogor, Marian Gheorghe, Germán Terrazas, Steve Diggle, Paul Williams, Miguel Cámara: An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. 135-148 BibTeX

• Samee Ullah Khan, Ishfaq Ahmad: Combinatorial Pawn Power. 151-164 BibTeX
• M. Baena-García, Rafael Morales Bueno, José-Luis Pérez-de-la-Cruz, Inmaculada Fortes Ruiz, Llanos Mora López: Busy Beaver Function in LOOP. 165-178 BibTeX

• José Félix Costa, Jerzy Mycka: What Lies Beyond the Mountains? 179-189 BibTeX