|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Kleene theorem and model checking algorithms for existentially bounded communicating automata |
Genest, Blaise |
2006 |
204 | 6 |
p. 920-956 37 p. |
artikel |
|
| 2 | Editorial Board |
2006 |
204 | 6 |
p. CO2- 1 p. |
artikel |
||
| 3 | Editorial Board |
2006 |
204 | 6 |
p. i- 1 p. |
artikel |
||
| 4 | Mind change efficient learning |
Luo, Wei |
2006 |
204 | 6 |
p. 989-1011 23 p. |
artikel |
|
| 5 | On modularity in infinitary term rewriting |
Simonsen, Jakob Grue |
2006 |
204 | 6 |
p. 957-988 32 p. |
artikel |
|
| 6 | Recognizability, hypergraph operations, and logical types |
Blumensath, A. |
2006 |
204 | 6 |
p. 853-919 67 p. |
artikel |
6 gevonden resultaten