| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Representation of SFP
|
Zhang, G.Q.
|
|
1994
|
110 |
1 |
p. 233-263
31 p.
|
artikel
|
| 2 |
Characteristic Formulas for Processes with Divergence
|
Steffen, B.
|
|
1994
|
110 |
1 |
p. 149-163
15 p.
|
artikel
|
| 3 |
Concatenable Structures for Decomposable Problems
|
Vankreveld, M.J.
|
|
1994
|
110 |
1 |
p. 130-148
19 p.
|
artikel
|
| 4 |
Finding Compact Scheme Forests in Nested Normal Form Is NP-Hard
|
Thanisch, P.
|
|
1994
|
110 |
1 |
p. 19-41
23 p.
|
artikel
|
| 5 |
Immunity of Complete Problems
|
Homer, S.
|
|
1994
|
110 |
1 |
p. 119-129
11 p.
|
artikel
|
| 6 |
On Confluent Semi-commutations: Decidability and Complexity Results
|
Diekert, V.
|
|
1994
|
110 |
1 |
p. 164-182
19 p.
|
artikel
|
| 7 |
On Learning Monotone DNF Formulae under Uniform Distributions
|
Kucera, L.
|
|
1994
|
110 |
1 |
p. 84-95
12 p.
|
artikel
|
| 8 |
Parallel Random Access Machines with both Multiplication and Shifts
|
Trahan, J.L.
|
|
1994
|
110 |
1 |
p. 96-118
23 p.
|
artikel
|
| 9 |
Polylog Depth Circuits for Integer Factoring and Discrete Logarithms
|
Sorenson, J.
|
|
1994
|
110 |
1 |
p. 1-18
18 p.
|
artikel
|
| 10 |
Stable Semantics for Probabilistic Deductive Databases
|
Ng, R.
|
|
1994
|
110 |
1 |
p. 42-83
42 p.
|
artikel
|
| 11 |
Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty
|
Attiya, H.
|
|
1994
|
110 |
1 |
p. 183-232
50 p.
|
artikel
|
Tijdschrift beschrijving