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