nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A formal derivation of the decidability of the theory SA
|
Hosono, C. |
|
1994 |
127 |
1 |
p. 1-23 23 p. |
artikel |
2 |
Bottom-up tree pushdown automata: classification and connection with rewrite systems
|
Coquidé, Jean-Luc |
|
1994 |
127 |
1 |
p. 69-98 30 p. |
artikel |
3 |
Cancellation in context-free languages: enrichment by reduction
|
Jantzen, M |
|
1994 |
127 |
1 |
p. 149-170 22 p. |
artikel |
4 |
Editorial board
|
|
|
1994 |
127 |
1 |
p. ii-iv nvt p. |
artikel |
5 |
On 1-inkdot alternating Turing machines with small space
|
Inoue, Katsushi |
|
1994 |
127 |
1 |
p. 171-179 9 p. |
artikel |
6 |
Oracle computations in parallel numerical linear algebra
|
Codenotti, B. |
|
1994 |
127 |
1 |
p. 99-121 23 p. |
artikel |
7 |
Parallel RAM algorithms for factorizing words
|
Daykin, J.W. |
|
1994 |
127 |
1 |
p. 53-67 15 p. |
artikel |
8 |
P-complete problems in data compression
|
De Agostino, Sergio |
|
1994 |
127 |
1 |
p. 181-186 6 p. |
artikel |
9 |
Polyominoes defined by two vectors
|
Del Lungo, A. |
|
1994 |
127 |
1 |
p. 187-198 12 p. |
artikel |
10 |
Some hierarchies for the communication complexity measures of cooperating grammar systems
|
Hromkovič, Juraj |
|
1994 |
127 |
1 |
p. 123-147 25 p. |
artikel |
11 |
Synchronized tree automata
|
Salomaa, Kai |
|
1994 |
127 |
1 |
p. 25-51 27 p. |
artikel |