Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 79
Volume 79, February 2003
- Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano:
Algorithm engineering, Algorithmics Column. Bull. EATCS 79: 48-63 (2003)
- Hartmut Ehrig:
On the relevance of high-level net processes, Formal Specification Column. Bull. EATCS 79: 64-68 (2003) - Stephen A. Fenner:
A physics-free introduction to the quantum computation model, Computational Complexity Column. Bull. EATCS 79: 69-85 (2003) - Marc Bezem, Thierry Coquand:
Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column. Bull. EATCS 79: 86-100 (2003) - Joan Feigenbaum, Scott Shenker:
Distributed algorithmic mechanism design: recent results and future directions, Distributed Computing Column. Bull. EATCS 79: 101-121 (2003) - Nicolas Markey:
Temporal logic with past is exponentially more succinct, Concurrency Column. Bull. EATCS 79: 122-128 (2003) - Max H. Garzon:
Biomolecular computing in silico, Natural Computing Column. Bull. EATCS 79: 129-144 (2003) - Alexander Okhotin:
An overview of conjunctive grammars, Formal Language Theory Column. Bull. EATCS 79: 145-163 (2003)
- Luc Longpré, Vladik Kreinovich:
Can quantum computers be useful when there are not yet enough qubits? Bull. EATCS 79: 164-169 (2003) - Rani Siromoney, Bireswar Das:
DNA algorithm for breaking a propositional logic based cryptosystem. Bull. EATCS 79: 170-177 (2003)
- Jean Berstel, Juhani Karhumäki:
Combinatorics on words: a tutorial. Bull. EATCS 79: 178- (2003)
a service of 
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 2023-03-22 01:27 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:
