nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Maximal Monoidal Closed Category of Distributive Algebraic Domains
|
Huth, M. |
|
1995 |
116 |
1 |
p. 10-25 16 p. |
artikel |
2 |
A Theory of Higher Order Communicating Systems
|
Thomsen, B. |
|
1995 |
116 |
1 |
p. 38-57 20 p. |
artikel |
3 |
CCS with Priority Choice
|
Camilleri, J. |
|
1995 |
116 |
1 |
p. 26-37 12 p. |
artikel |
4 |
Characterizing PAC-Learnability of Semilinear Sets
|
Abe, N. |
|
1995 |
116 |
1 |
p. 81-102 22 p. |
artikel |
5 |
Computing Circumscriptive Databases
|
Nerode, A. |
|
1995 |
116 |
1 |
p. 58-80 23 p. |
artikel |
6 |
Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem
|
Smid, M. |
|
1995 |
116 |
1 |
p. 1-9 9 p. |
artikel |
7 |
Fast Parallel Band Matrix Arithmetic
|
Eberly, W. |
|
1995 |
116 |
1 |
p. 117-127 11 p. |
artikel |
8 |
On Encoding and Decoding with Two-Way Head Machines
|
Sheinwald, D. |
|
1995 |
116 |
1 |
p. 128-133 6 p. |
artikel |
9 |
Rational and Recognizable Complex Trace Languages
|
Diekert, V. |
|
1995 |
116 |
1 |
p. 134-153 20 p. |
artikel |
10 |
The Complexity of Iterated Multiplication
|
Immerman, N. |
|
1995 |
116 |
1 |
p. 103-116 14 p. |
artikel |