|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Author Index for Volume 62 |
2001 |
62 | 4 |
p. 692- 1 p. |
article |
||
| 2 | Linear-Consistency Testing |
Aumann, Yonatan |
2001 |
62 | 4 |
p. 589-607 19 p. |
article |
|
| 3 | New Error Bounds for Solomonoff Prediction |
Hutter, Marcus |
2001 |
62 | 4 |
p. 653-667 15 p. |
article |
|
| 4 | Papers to Appear in Forthcoming Issues |
2001 |
62 | 4 |
p. 691- 1 p. |
article |
||
| 5 | Refinements of Complexity Results on Type Consistency for Object-Oriented Databases |
Ishihara, Yasunori |
2001 |
62 | 4 |
p. 537-564 28 p. |
article |
|
| 6 | Separation Results for Separated Apex NLC and NCE Graph Languages |
Kim, Changwook |
2001 |
62 | 4 |
p. 608-628 21 p. |
article |
|
| 7 | The Descriptive Complexity Approach to LOGCFL |
Lautemann, Clemens |
2001 |
62 | 4 |
p. 629-652 24 p. |
article |
|
| 8 | Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata |
Hromkovič, Juraj |
2001 |
62 | 4 |
p. 565-588 24 p. |
article |
|
| 9 | Verification by Augmented Abstraction: The Automata–Theoretic View |
Kesten, Yonit |
2001 |
62 | 4 |
p. 668-690 23 p. |
article |
9 results found