![](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 46
Volume 46, February 1992
- Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Bull. EATCS 46: 84-89 (1992)
- Yuri Gurevich:
Zero-One Laws. Bull. EATCS 46: 90-106 (1992)
- Lane A. Hemachandra, Mitsunori Ogiwara:
Is #P Closed under Substraction? Bull. EATCS 46: 107-123 (1992)
- Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa:
In the prehistory of formal language theory: Gauss Languages. Bull. EATCS 46: 124-139 (1992)
- Nigel P. Chapman:
On Extended Attribute Grammars. Bull. EATCS 46: 140-145 (1992) - Erkki Mäkinen:
A note on Graftings, Rotations, and Distances in Binary Trees. Bull. EATCS 46: 146-148 (1992) - Christoph Meinel:
Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. Bull. EATCS 46: 149-170 (1992) - Gheorghe Paun, Arto Salomaa:
Decision Problems Concerning the Thinness of DOL Languages. Bull. EATCS 46: 171-181 (1992) - Jeffrey O. Shallit, David A. Wilson:
The "3x + 1" Problem and Finite Automata. Bull. EATCS 46: 182-185 (1992) - Friedrich J. Urbanek:
O = square. Bull. EATCS 46: 186-187 (1992) - Paulo A. S. Veloso:
Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour. Bull. EATCS 46: 188-192 (1992)
![](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.