Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin 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)
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
