Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 87

> Home > Journals > Bulletin of the EATCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 87, October 2005

Algorithmics

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/FominGK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/FominGK05
Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch:
Some New Techniques in Design and Analysis of Exact (Exponential) Algorithms. Bull. EATCS 87: 47-77 (2005)

Computational Complexity

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/HoyerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/HoyerS05
Peter Høyer, Robert Spalek:
Lower Bounds on Quantum Query Complexity. Bull. EATCS 87: 78-103 (2005)

Concurrency

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Palamidessi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Palamidessi05
Catuscia Palamidessi, Frank D. Valencia:
Recursion vs Replication in Process Calculi: Expressiveness. Bull. EATCS 87: 105-125 (2005)

Formal Specification

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/KonigK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/KonigK05
Barbara König, Vitali Kozioura:
Augur - A Tool for the Analysis of Graph Transformation Systems. Bull. EATCS 87: 126-137 (2005)

Formal Specification

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Padberg05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Padberg05
Julia Padberg:
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bull. EATCS 87: 138-154 (2005)

Logic in Computer Science

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Bussche05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Bussche05
Jan Van den Bussche:
First-order Topology Properties. Bull. EATCS 87: 155-164 (2005)

Natural Computing

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Sakakibara05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Sakakibara05
Yasubumi Sakakibara:
Development of a Bacteria Computer: From in silico Finite Automata to in virto AND in vivo. Bull. EATCS 87: 165-178 (2005)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/GarciaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/GarciaP05
Pedro García, Manuel Vazquez de Parga:
A note about mergible states in large NFA. Bull. EATCS 87: 181-184 (2005)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Finkel05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Finkel05
Olivier Finkel:
On Decision Problems for Timed Automata. Bull. EATCS 87: 185-190 (2005)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/DomosiH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/DomosiH05
Pál Dömösi, Géza Horváth:
The Language of Primitive Words in not Regular: Two Simple Proofs. Bull. EATCS 87: 191-194 (2005)

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.