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