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
BibTeX
Hartmut Ehrig
,
Annegret Habel
,
Udo Hummert
,
Paul Boehm
: Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. 22-26
BibTeX
Marian Gheorghe
,
Gheorghe Paun
: Two (infinite?) hierarchies of vector languages. 27-31
BibTeX
Irène Guessarian
: Fixpoint techniques in data base recursive logic programs. 32-34
BibTeX
Armin Hemmerling
: Real-time recognition of some languages by trellis and cellular automata and full scan Turing machines. 35-38
BibTeX
Efim B. Kinber
,
Arto Salomaa
,
Sheng Yu
: On the equivalence of grammars inferred from derivation. 39-45
BibTeX
Martin Wirsing
: Algebraic specification of the abstract data type "Continuum" without hidden operations. 46-54
BibTeX
Copyright ©
Sat May 16 23:57:42 2009 by
Michael Ley
(
ley@uni-trier.de
)