Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 93

> 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 93, October 2007

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Gorrieri07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gorrieri07
Roberto Gorrieri:
Obituary, Nadia Busi (1968-2007). Bull. EATCS 93: 18-19 (2007)

EATCS Columns

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/AlagicR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AlagicR07
Gorjan Alagic, Alexander Russell:
Quantum Computing and the Hunt for Hidden Symmetry. Bull. EATCS 93: 53-75 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Maffeis07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Maffeis07
Sergio Maffeis:
Dynamic Web Data and Process Calculi. Bull. EATCS 93: 76-97 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/AspnesR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AspnesR07
James Aspnes, Eric Ruppert:
An Introduction to Population Protocols. Bull. EATCS 93: 98-117 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Han07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Han07
Yo-Sub Han:
Decision Algorithms for Subfamilies of Regular Languages using State-Pair Graphs. Bull. EATCS 93: 118-133 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EhrigEEP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigEEP07
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93: 134-142 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kohlenbach07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kohlenbach07
Ulrich Kohlenbach:
Proof Interpretations and the Computational Content of Proofs in Mathematics. Bull. EATCS 93: 143-175 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Cardelli07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Cardelli07
Luca Cardelli:
Machines of Systems Biology. Bull. EATCS 93: 176-204 (2007)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Deng07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Deng07
Yuxin Deng:
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bull. EATCS 93: 207-219 (2007)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Margenstern07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Margenstern07
Maurice Margenstern:
The Domino Problem of the Hyperbolic Plane is Undecidable. Bull. EATCS 93: 237 (2007)

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.