|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A simple undecidable problem: the inclusion problem for finite substitutions on ab * c |
Karhumäki, J. |
2003 |
187 | 1 |
p. 40-48 9 p. |
artikel |
|
| 2 | Editorial Board |
2003 |
187 | 1 |
p. IFC- 1 p. |
artikel |
||
| 3 | Editorial Board–continued |
2003 |
187 | 1 |
p. i- 1 p. |
artikel |
||
| 4 | Ground reducibility is EXPTIME-complete |
Comon, Hubert |
2003 |
187 | 1 |
p. 123-153 31 p. |
artikel |
|
| 5 | Regular sets of infinite message sequence charts |
Kuske, Dietrich |
2003 |
187 | 1 |
p. 80-109 30 p. |
artikel |
|
| 6 | Secure mechanical verification of mutually recursive procedures |
Homeier, Peter V. |
2003 |
187 | 1 |
p. 1-19 19 p. |
artikel |
|
| 7 | Splitting information securely with entanglement |
Mihara, Takashi |
2003 |
187 | 1 |
p. 110-122 13 p. |
artikel |
|
| 8 | The complexity of minimal satisfiability problems |
Kirousis, Lefteris M. |
2003 |
187 | 1 |
p. 20-39 20 p. |
artikel |
|
| 9 | The dimensions of individual strings and sequences |
Lutz, Jack H. |
2003 |
187 | 1 |
p. 49-79 31 p. |
artikel |
9 gevonden resultaten