|
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 | About the Paterson-Wegman linear unification algorithm |
de Champeaux, Dennis |
1986 |
32 | 1 |
p. 79-90 12 p. |
artikel |
|
| 2 | A multiparameter analysis of the boundedness problem for vector addition systems |
Rosier, Louis E. |
1986 |
32 | 1 |
p. 105-135 31 p. |
artikel |
|
| 3 | Binary trees and uniform distribution of traffic cutback |
Li, Shuo-Yen Robert |
1986 |
32 | 1 |
p. 1-14 14 p. |
artikel |
|
| 4 | “During” cannot be expressed by “after” |
Urzyczyn, Paweł |
1986 |
32 | 1 |
p. 97-104 8 p. |
artikel |
|
| 5 | New algorithms for multilink robot arms |
Kantabutra, V. |
1986 |
32 | 1 |
p. 136-153 18 p. |
artikel |
|
| 6 | Reliable computation with cellular automata |
Gács, Peter |
1986 |
32 | 1 |
p. 15-78 64 p. |
artikel |
|
| 7 | Time-space trade-offs for branching programs |
Wegener, Ingo |
1986 |
32 | 1 |
p. 91-96 6 p. |
artikel |
7 gevonden resultaten