Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin 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)
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-05-13 21:16 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:
