|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A simulation result for the auxiliary pushdown automata |
Harju, Tero |
1979 |
19 | 2 |
p. 119-132 14 p. |
artikel |
|
| 2 | Codeterministic Lindenmayer schemes and systems |
Head, Tom |
1979 |
19 | 2 |
p. 203-210 8 p. |
artikel |
|
| 3 | Computable stack functions for semantics of stack programs |
Germano, Giorgio |
1979 |
19 | 2 |
p. 133-144 12 p. |
artikel |
|
| 4 | Least fixed point of a functor |
Adámek, Jiří |
1979 |
19 | 2 |
p. 163-178 16 p. |
artikel |
|
| 5 | On recursion in ETOL systems |
Rozenberg, G. |
1979 |
19 | 2 |
p. 179-196 18 p. |
artikel |
|
| 6 | On time hierarchies |
Paul, W.J. |
1979 |
19 | 2 |
p. 197-202 6 p. |
artikel |
|
| 7 | Simple counter machines and number-theoretic problems |
Gurari, Eitan M. |
1979 |
19 | 2 |
p. 145-162 18 p. |
artikel |
7 gevonden resultaten