Bulletin of the EATCS, Volume 29

> Home > Journals > Bulletin of the EATCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 29, June 1986

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Calude86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Calude86
Cristian Calude:
Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bull. EATCS 29: 18-21 (1986)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EhrigHHB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EhrigHHB86
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)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/GheorgheP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/GheorgheP86
Marian Gheorghe, Gheorghe Paun:
Two (infinite?) hierarchies of vector languages. Bull. EATCS 29: 27-31 (1986)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Guessarian86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Guessarian86
Irène Guessarian:
Fixpoint techniques in data base recursive logic programs. Bull. EATCS 29: 32-34 (1986)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Hemmerling86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Hemmerling86
Armin Hemmerling:
Real-time recognition of some languages by trellis and cellular automata and full scan Turing machines. Bull. EATCS 29: 35-38 (1986)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/KinberSY86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/KinberSY86
Efim B. Kinber, Arto Salomaa, Sheng Yu:
On the equivalence of grammars inferred from derivation. Bull. EATCS 29: 39-45 (1986)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Wirsing86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Wirsing86
Martin Wirsing:
Algebraic specification of the abstract data type "Continuum" without hidden operations. Bull. EATCS 29: 46-54 (1986)

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.