nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algebraic Theories for Name-Passing Calculi
|
Parrow, J. |
|
1995 |
120 |
2 |
p. 174-197 24 p. |
artikel |
2 |
Approximable Sets
|
Beigel, R. |
|
1995 |
120 |
2 |
p. 304-314 11 p. |
artikel |
3 |
Author Index for Volume 120
|
|
|
1995 |
120 |
2 |
p. 330- 1 p. |
artikel |
4 |
Characterizations of Monotonic and Dual Monotonic Language Learning
|
Zeugmann, T. |
|
1995 |
120 |
2 |
p. 155-173 19 p. |
artikel |
5 |
Complexity Classes of Optimization Functions
|
Vollmer, H. |
|
1995 |
120 |
2 |
p. 198-219 22 p. |
artikel |
6 |
Computational-Complexity of Arithmetical Sentences
|
Tung, S.P. |
|
1995 |
120 |
2 |
p. 315-325 11 p. |
artikel |
7 |
Lower Bounds on Universal Traversal Sequences Based on Chains of Length Five
|
Buss, J. |
|
1995 |
120 |
2 |
p. 326-329 4 p. |
artikel |
8 |
Negation as Instantiation
|
Dipierro, A. |
|
1995 |
120 |
2 |
p. 263-278 16 p. |
artikel |
9 |
On Parallel Computations with Banded Matrices
|
Pan, V.Y. |
|
1995 |
120 |
2 |
p. 237-250 14 p. |
artikel |
10 |
Testing Equivalence for Mobile Processes
|
Boreale, M. |
|
1995 |
120 |
2 |
p. 279-303 25 p. |
artikel |
11 |
The Expressive Power of Complex Values in Object-Based Data Models
|
Vandenbussche, J. |
|
1995 |
120 |
2 |
p. 220-236 17 p. |
artikel |
12 |
Why Tricategories?
|
Power, A.J. |
|
1995 |
120 |
2 |
p. 251-262 12 p. |
artikel |