|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A decidable fragment of predicate calculus |
Ketonen, Jussi |
1984 |
32 | 3 |
p. 297-307 11 p. |
artikel |
|
| 2 | Alternating finite automata on ω-words |
Miyano, Satoru |
1984 |
32 | 3 |
p. 321-330 10 p. |
artikel |
|
| 3 | Author index volume 32 (1984) |
1984 |
32 | 3 |
p. 341-342 2 p. |
artikel |
||
| 4 | Finite complete rewriting systems for the Jantzen monoid and the greendlinger group |
Otto, Friedrich |
1984 |
32 | 3 |
p. 249-260 12 p. |
artikel |
|
| 5 | Iterative tree automata |
Culik II, Karel |
1984 |
32 | 3 |
p. 227-247 21 p. |
artikel |
|
| 6 | On formal power series defined by infinite linear systems |
Jacob, Gérard |
1984 |
32 | 3 |
p. 339-340 2 p. |
artikel |
|
| 7 | On the complexity of intersection and conjugacy problems in free groups |
Avenhaus, J. |
1984 |
32 | 3 |
p. 279-295 17 p. |
artikel |
|
| 8 | Projection lemmas for ω-languages |
Staiger, Ludwig |
1984 |
32 | 3 |
p. 331-337 7 p. |
artikel |
|
| 9 | Some machines defined by directed graphs |
De Bruijn, N.G. |
1984 |
32 | 3 |
p. 309-319 11 p. |
artikel |
|
| 10 | The undecidability of form equivalence for context-free and E0L forms |
Niemi, Valtteri |
1984 |
32 | 3 |
p. 261-277 17 p. |
artikel |
10 gevonden resultaten