default search action
Bulletin of the EATCS, Volume 72
Volume 72, October 2000
- Andrea Corradini, Reiko Heckel:
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bull. EATCS 72: 69-76 (2000) - Hartmut Ehrig, Gunnar Schröter:
The Role of Mathematics and Formal Specification Techniques in Software System Development. Bull. EATCS 72: 77-83 (2000)
- William I. Gasarch, Evan Golub, Clyde P. Kruskal:
A Survey of Constant Time Parallel Sorting. Bull. EATCS 72: 84-102 (2000)
- Andreas Blass, Yuri Gurevich:
A New Zero-One Law and Strong Extension Axioms. Bull. EATCS 72: 103-122 (2000)
- Marios Mavronicolas:
Annotated Bibliography on Counting Networks. Bull. EATCS 72: 123-132 (2000)
- Vladimiro Sassone:
On the Algebraic Structure of Petri Nets. Bull. EATCS 72: 133-148 (2000)
- Wolfgang Maass:
Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers. Bull. EATCS 72: 149-158 (2000)
- Carlos Martín-Vide, Alexandru Mateescu:
Contextual Generalized Sequential Machines. Bull. EATCS 72: 159-168 (2000)
- Javier Esparza, Peter Rossmanith, Stefan Schwoon:
A Uniform Framework for Problems on Context-Free Grammars. Bull. EATCS 72: 169-177 (2000) - Juha Honkala:
Zeros of Z-rational Sequences and Thin 0L Languages. Bull. EATCS 72: 178-182 (2000) - 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.