| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications
|
Meinke, Karl
|
|
1997
|
54 |
3 |
p. 502-519
18 p.
|
artikel
|
| 2 |
A Model of Interactive Teaching
|
Mathias, H.David
|
|
1997
|
54 |
3 |
p. 487-501
15 p.
|
artikel
|
| 3 |
An Excursion to the Kolmogorov Random Strings
|
Buhrman, Harry
|
|
1997
|
54 |
3 |
p. 393-399
7 p.
|
artikel
|
| 4 |
Author Index for Volume 54
|
|
|
1997
|
54 |
3 |
p. 520-
1 p.
|
artikel
|
| 5 |
Counting Quantifiers, Successor Relations, and Logarithmic Space
|
Etessami, Kousha
|
|
1997
|
54 |
3 |
p. 400-411
12 p.
|
artikel
|
| 6 |
DSPACE(n) = ? NSPACE(n): A Degree Theoretic Characterization
|
Agrawal, Manindra
|
|
1997
|
54 |
3 |
p. 383-392
10 p.
|
artikel
|
| 7 |
EDITOR'S FOREWORD
|
Allender, Eric
|
|
1997
|
54 |
3 |
p. 381-
1 p.
|
artikel
|
| 8 |
Geometric Approach for Optimal Routing on a Mesh with Buses
|
Ben-Asher, Yosi
|
|
1997
|
54 |
3 |
p. 475-486
12 p.
|
artikel
|
| 9 |
On Fixed-Parameter Tractability and Approximability of NP Optimization Problems
|
Cai, Liming
|
|
1997
|
54 |
3 |
p. 465-474
10 p.
|
artikel
|
| 10 |
On P-Immunity of Exponential Time Complete Sets
|
Tran, Nicholas
|
|
1997
|
54 |
3 |
p. 437-440
4 p.
|
artikel
|
| 11 |
Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals
|
Royer, James S
|
|
1997
|
54 |
3 |
p. 424-436
13 p.
|
artikel
|
| 12 |
The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
|
Saccà, Domenico
|
|
1997
|
54 |
3 |
p. 441-464
24 p.
|
artikel
|
| 13 |
The Isomorphism Conjecture Holds and One-Way Functions Exist Relative to an Oracle
|
Rogers, John
|
|
1997
|
54 |
3 |
p. 412-423
12 p.
|
artikel
|
Tijdschrift beschrijving