home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Bulletin of the EATCS
, Volume 85
Volume 85, February 2005
Computational Complexity
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/BuhrmanT05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Harry Buhrman
,
Leen Torenvliet
:
A Post's Program for Complexity Theory.
41-51
Concurrency
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/PrandiPQ05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Davide Prandi
,
Corrado Priami
,
Paola Quaglia
:
Process Calculi in a Biological Context.
53-69
Distributed Computing
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/BuschMS05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Costas Busch
,
Marios Mavronicolas
,
Paul G. Spirakis
:
An Application of the Monotone Linearizability Lemma.
70-80
Formal Language Theory
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Kunc05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Michal Kunc
:
Simple language Equations.
81-102
Formal Specification
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/ChalopinMZ05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jérémie Chalopin
,
Yves Métivier
,
Wieslaw Zielonka
:
Local Computation in Graphs: The Case of Cellular Edge Local Computations.
105-109
Logic in Computer Science
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Mitchell05
ask others
Google
Google Scholar
MS Academic Search
PubZone
David G. Mitchell
:
A SAT Solver Primer.
112-132
Natural Computing
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/KrasnogorGTDWC05
ask others
Google
Google Scholar
MS Academic Search
PubZone
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
Technical Contributions
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/KhanA05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Samee Ullah Khan
,
Ishfaq Ahmad
:
Combinatorial Pawn Power.
151-164
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Baena-GarciaMPRL05
ask others
Google
Google Scholar
MS Academic Search
PubZone
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.
165-178
Miscellaneous
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/CostaM05
ask others
Google
Google Scholar
MS Academic Search
PubZone
José Félix Costa
,
Jerzy Mycka
:
What Lies Beyond the Mountains?
179-189