default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 85
Volume 85, February 2005
- Harry Buhrman, Leen Torenvliet:
A Post's Program for Complexity Theory. Bull. EATCS 85: 41-51 (2005)
- Davide Prandi, Corrado Priami, Paola Quaglia:
Process Calculi in a Biological Context. Bull. EATCS 85: 53-69 (2005)
- Costas Busch, Marios Mavronicolas, Paul G. Spirakis:
An Application of the Monotone Linearizability Lemma. Bull. EATCS 85: 70-80 (2005)
- Michal Kunc:
Simple language Equations. Bull. EATCS 85: 81-102 (2005)
- Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka:
Local Computation in Graphs: The Case of Cellular Edge Local Computations. Bull. EATCS 85: 105-109 (2005)
- David G. Mitchell:
A SAT Solver Primer. Bull. EATCS 85: 112-132 (2005)
- Natalio Krasnogor, Marian Gheorghe, Germán Terrazas, Steve Diggle, Paul Williams, Miguel Cámara:
An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. Bull. EATCS 85: 135-148 (2005)
- Samee Ullah Khan, Ishfaq Ahmad:
Combinatorial Pawn Power. Bull. EATCS 85: 151-164 (2005) - Manuel 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. Bull. EATCS 85: 165-178 (2005)
- José Félix Costa, Jerzy Mycka:
What Lies Beyond the Mountains? Bull. EATCS 85: 179-189 (2005)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-02 20:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
