Bulletin of the EATCS, Volume 21

Volume 21, October 1983

Technical Contributions

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Arnold83
- ask others
A. Arnold: A negative result for Büchi's automata. 11
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/BlumerBEHM83
- ask others
Anselm Blumer, J. Blumer, Andrzej Ehrenfeucht, David Haussler, Ross M. McConnell: Linear size finite automata for the set of all subwords of a word - an outline of results. 12-20
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/ChouekaP83
- ask others
Yaacov Choueka, David Peleg: A note of omega-regular languages. 21-23
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Georgieva83
- ask others
Nadejda Georgieva: Notes on the equivalence of some programs. 24-30
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/GogollaE83
- ask others
Martin Gogolla, Hans-Dieter Ehrich: Algebraic Specification with subsorts using declarations. 31-38
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Raoult83
- ask others
Jean-Claude Raoult: On graph rewritings. 39-48
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/RestivoS83
- ask others
Antonio Restivo, Sergio Salemi: On weakly square free words. 49-57
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Schmidt83
- ask others
Diana Schmidt: An alternative definition of NP. 57-67
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Starke83
- ask others
Peter H. Starke: Monogenous FIFO-nets and PETRI-nets are equivalent. 68-76