default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 72

> 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 72, October 2000

The Formal Specification Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/CorradiniH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CorradiniH00
Andrea Corradini, Reiko Heckel:
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bull. EATCS 72: 69-76 (2000)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/EhrigS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigS00
Hartmut Ehrig, Gunnar Schröter:
The Role of Mathematics and Formal Specification Techniques in Software System Development. Bull. EATCS 72: 77-83 (2000)

The Computational Complexity Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/GasarchGK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/GasarchGK00
William I. Gasarch, Evan Golub, Clyde P. Kruskal:
A Survey of Constant Time Parallel Sorting. Bull. EATCS 72: 84-102 (2000)

The Logic in Computer Science Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/BlassG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BlassG00
Andreas Blass, Yuri Gurevich:
A New Zero-One Law and Strong Extension Axioms. Bull. EATCS 72: 103-122 (2000)

The Distributed Computing Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Mavronicolas00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Mavronicolas00
Marios Mavronicolas:
Annotated Bibliography on Counting Networks. Bull. EATCS 72: 123-132 (2000)

The Concurrency Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Sassone00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Sassone00
Vladimiro Sassone:
On the Algebraic Structure of Petri Nets. Bull. EATCS 72: 133-148 (2000)

The Natural Computing Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Maass00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Maass00
Wolfgang Maass:
Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers. Bull. EATCS 72: 149-158 (2000)

The Formal Language Theory Column

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Martin-VideM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Martin-VideM00
Carlos Martín-Vide, Alexandru Mateescu:
Contextual Generalized Sequential Machines. Bull. EATCS 72: 159-168 (2000)

Technical Contributions

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/EsparzaRS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EsparzaRS00
Javier Esparza, Peter Rossmanith, Stefan Schwoon:
A Uniform Framework for Problems on Context-Free Grammars. Bull. EATCS 72: 169-177 (2000)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Honkala00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Honkala00
Juha Honkala:
Zeros of Z-rational Sequences and Thin 0L Languages. Bull. EATCS 72: 178-182 (2000)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Martin-VideP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Martin-VideP00
Carlos Martín-Vide, Gheorghe Paun:
Computing with Membranes: One More Collapsing Hierarchy. Bull. EATCS 72: 183-188 (2000)

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.