Bulletin of the EATCS, Volume 29

Volume 29, June 1986

Technical Contributions

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

Last update Tue May 21 18:49:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page