|
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 | Author Index for Volume 62 |
2001 |
62 | 4 |
p. 692- 1 p. |
artikel |
||
| 2 | Linear-Consistency Testing |
Aumann, Yonatan |
2001 |
62 | 4 |
p. 589-607 19 p. |
artikel |
|
| 3 | New Error Bounds for Solomonoff Prediction |
Hutter, Marcus |
2001 |
62 | 4 |
p. 653-667 15 p. |
artikel |
|
| 4 | Papers to Appear in Forthcoming Issues |
2001 |
62 | 4 |
p. 691- 1 p. |
artikel |
||
| 5 | Refinements of Complexity Results on Type Consistency for Object-Oriented Databases |
Ishihara, Yasunori |
2001 |
62 | 4 |
p. 537-564 28 p. |
artikel |
|
| 6 | Separation Results for Separated Apex NLC and NCE Graph Languages |
Kim, Changwook |
2001 |
62 | 4 |
p. 608-628 21 p. |
artikel |
|
| 7 | The Descriptive Complexity Approach to LOGCFL |
Lautemann, Clemens |
2001 |
62 | 4 |
p. 629-652 24 p. |
artikel |
|
| 8 | Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata |
Hromkovič, Juraj |
2001 |
62 | 4 |
p. 565-588 24 p. |
artikel |
|
| 9 | Verification by Augmented Abstraction: The Automata–Theoretic View |
Kesten, Yonit |
2001 |
62 | 4 |
p. 668-690 23 p. |
artikel |
9 gevonden resultaten