nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Framework for Testing Safety and Effective Computability
|
Krishnamurthy, Ravi |
|
1996 |
52 |
1 |
p. 100-124 25 p. |
artikel |
2 |
A Free Construction of Dynamic Terms
|
Astesiano, Egidio |
|
1996 |
52 |
1 |
p. 143-156 14 p. |
artikel |
3 |
A Polynomial-Time Parsing Algorithm forK-Depth Languages
|
Cherubini, Alessandra |
|
1996 |
52 |
1 |
p. 61-79 19 p. |
artikel |
4 |
Applications of Range Query Theory to Relational Data Base Join and Selection Operations
|
Willard, Dan E. |
|
1996 |
52 |
1 |
p. 157-169 13 p. |
artikel |
5 |
EDITORS' FOREWORD
|
Goodrich, Michael T. |
|
1996 |
52 |
1 |
p. 1- 1 p. |
artikel |
6 |
Finite Languages for the Representation of Finite Graphs
|
Ehrenfeucht, Andrzej |
|
1996 |
52 |
1 |
p. 170-184 15 p. |
artikel |
7 |
Generic Separations
|
Fortnow, Lance |
|
1996 |
52 |
1 |
p. 191-197 7 p. |
artikel |
8 |
Lower Bounds for the Union–Find and the Split–Find Problem on Pointer Machines
|
La Poutré, Han |
|
1996 |
52 |
1 |
p. 87-99 13 p. |
artikel |
9 |
On Parikh Slender Languages and Power Series
|
Honkala, Juha |
|
1996 |
52 |
1 |
p. 185-190 6 p. |
artikel |
10 |
On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions
|
Chen, Tsong Yueh |
|
1996 |
52 |
1 |
p. 80-86 7 p. |
artikel |
11 |
Parameterized Pattern Matching: Algorithms and Applications
|
Baker, Brenda S. |
|
1996 |
52 |
1 |
p. 28-42 15 p. |
artikel |
12 |
Randomness is Linear in Space
|
Nisan, Noam |
|
1996 |
52 |
1 |
p. 43-52 10 p. |
artikel |
13 |
Self -Routing Superconcentrators
|
Pippenger, Nicholas |
|
1996 |
52 |
1 |
p. 53-60 8 p. |
artikel |
14 |
Semantic Representations and Query Languages for Or-Sets
|
Libkin, Leonid |
|
1996 |
52 |
1 |
p. 125-142 18 p. |
artikel |
15 |
Separator Based Sparsification
|
Eppstein, David |
|
1996 |
52 |
1 |
p. 3-27 25 p. |
artikel |