![](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 29
Volume 29, June 1986
- Cristian Calude:
Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bull. EATCS 29: 18-21 (1986) - Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm:
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. Bull. EATCS 29: 22-26 (1986) - Marian Gheorghe, Gheorghe Paun:
Two (infinite?) hierarchies of vector languages. Bull. EATCS 29: 27-31 (1986) - Irène Guessarian:
Fixpoint techniques in data base recursive logic programs. Bull. EATCS 29: 32-34 (1986) - Armin Hemmerling:
Real-time recognition of some languages by trellis and cellular automata and full scan Turing machines. Bull. EATCS 29: 35-38 (1986) - Efim B. Kinber, Arto Salomaa, Sheng Yu:
On the equivalence of grammars inferred from derivation. Bull. EATCS 29: 39-45 (1986) - Martin Wirsing:
Algebraic specification of the abstract data type "Continuum" without hidden operations. Bull. EATCS 29: 46-54 (1986)
![](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.