| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Author Index for Volume 113
|
|
|
1994
|
113 |
2 |
p. 348-
1 p.
|
artikel
|
| 2 |
Composite Geometric Concepts and Polynomial Predictability
|
Long, P.M.
|
|
1994
|
113 |
2 |
p. 230-252
23 p.
|
artikel
|
| 3 |
Conditional Lambda-Theories and the Verification of Static Properties of Programs
|
Wand, M.
|
|
1994
|
113 |
2 |
p. 253-277
25 p.
|
artikel
|
| 4 |
Deciding Emptiness for Stack Automata on Infinite Trees
|
Harel, D.
|
|
1994
|
113 |
2 |
p. 278-299
22 p.
|
artikel
|
| 5 |
Elections in Anonymous Networks
|
Afek, Y.
|
|
1994
|
113 |
2 |
p. 312-330
19 p.
|
artikel
|
| 6 |
Impossibility Results in the Presence of Multiple Faulty Processes
|
Taubenfeld, G.
|
|
1994
|
113 |
2 |
p. 173-198
26 p.
|
artikel
|
| 7 |
Minimal Samples of Positive Examples Identifying k-CNF Boolean Functions
|
Ogielski, A.T.
|
|
1994
|
113 |
2 |
p. 220-229
10 p.
|
artikel
|
| 8 |
Numeration Systems, Linear Recurrences, and Regular Sets
|
Shallit, J.
|
|
1994
|
113 |
2 |
p. 331-347
17 p.
|
artikel
|
| 9 |
Simple Translation-Invariant Concepts Are Hard to Learn
|
Jerrum, M.
|
|
1994
|
113 |
2 |
p. 300-311
12 p.
|
artikel
|
| 10 |
Virtual Shared Memory: Algorithms and Complexity
|
Chin, A.
|
|
1994
|
113 |
2 |
p. 199-219
21 p.
|
artikel
|
Tijdschrift beschrijving