![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Bulletin of the EATCS, Volume 42
Volume 42, October 1990
- Herbert Edelsbrunner:
The Computational Geometry Column. Bull. EATCS 42: 132-134 (1990)
- Hartmut Ehrig, Michael A. Arbib:
Linking Schemas and Module Specifications: A Proposal. Bull. EATCS 42: 135 (1990)
- Yuri Gurevich:
On the Classical Desicion Problem. Bull. EATCS 42: 140-150 (1990)
- Richard Chang, Pankaj Rohatgi:
On Unique Staisfiability and Randomized Reductions. Bull. EATCS 42: 151-159 (1990)
- Lila Santean:
Parallel Communicating Systems. Bull. EATCS 42: 160-171 (1990)
- Richard Chang:
An Example of a Theorem that has Contradictory Relativization and Diagonalization Proof. Bull. EATCS 42: 172-173 (1990) - Andrzej Lingas:
A Note on a Parallel Heuristic for Minimum. Bull. EATCS 42: 174-177 (1990) - Arto Salomaa, Lila Santean:
Secret Selling of Secrets with Several Buyers. Bull. EATCS 42: 178-186 (1990) - Rolf Socher-Ambrosius:
Another Technique for Proving Completeness of Ground Resolution. Bull. EATCS 42: 187-189 (1990) - Iain A. Stewart:
On The Graph Accessibility Problem for Directed Graphs of Bounded Degree. Bull. EATCS 42: 190-193 (1990) - Friedrich J. Urbanek:
A Simple Completeness Proof for Early's Algorithm. Bull. EATCS 42: 194 (1990) - Robin W. Whitty:
An Exercise in Weakest Preconditions. Bull. EATCS 42: 195-198 (1990)
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.