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