Bulletin of the EATCS, Volume 21

Volume 21, October 1983

• A. Arnold: A negative result for Büchi's automata. 11 BibTeX
• 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 BibTeX
• Yaacov Choueka, David Peleg: A note of omega-regular languages. 21-23 BibTeX
• Nadejda Georgieva: Notes on the equivalence of some programs. 24-30 BibTeX
• Martin Gogolla, Hans-Dieter Ehrich: Algebraic Specification with subsorts using declarations. 31-38 BibTeX
• Jean-Claude Raoult: On graph rewritings. 39-48 BibTeX
• Antonio Restivo, Sergio Salemi: On weakly square free words. 49-57 BibTeX
• Diana Schmidt: An alternative definition of NP. 57-67 BibTeX
• Peter H. Starke: Monogenous FIFO-nets and PETRI-nets are equivalent. 68-76 BibTeX