| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algorithms for Detecting Morphic Images of a Word
|
Neraud, J.
|
|
1995
|
120 |
1 |
p. 126-148
23 p.
|
artikel
|
| 2 |
A Normal Form Problem for Unlabeled Boundary NLC Graph Languages
|
Yamazaki, K.
|
|
1995
|
120 |
1 |
p. 1-10
10 p.
|
artikel
|
| 3 |
A Parameterization Scheme for Classifying Models of PAC Learnability
|
Bendavid, S.
|
|
1995
|
120 |
1 |
p. 11-21
11 p.
|
artikel
|
| 4 |
Automata on Infinite Trees with Counting Constraints
|
Beauquier, D.
|
|
1995
|
120 |
1 |
p. 117-125
9 p.
|
artikel
|
| 5 |
Dynamical Systems, Measures, and Fractals via Domain Theory
|
Edalat, A.
|
|
1995
|
120 |
1 |
p. 32-48
17 p.
|
artikel
|
| 6 |
Equivalence of NC k and AC k − 1 Closures of NP and Other Classes
|
Ogihara, M.
|
|
1995
|
120 |
1 |
p. 55-58
4 p.
|
artikel
|
| 7 |
Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries
|
Dong, G.Z.
|
|
1995
|
120 |
1 |
p. 101-106
6 p.
|
artikel
|
| 8 |
Kripke Logical Relations and PCF
|
Ohearn, P.W.
|
|
1995
|
120 |
1 |
p. 107-116
10 p.
|
artikel
|
| 9 |
On Monadic NP vs Monadic co-NP
|
Fagin, R.
|
|
1995
|
120 |
1 |
p. 78-92
15 p.
|
artikel
|
| 10 |
Optimal Amortized Distributed Consensus
|
Barnoy, A.
|
|
1995
|
120 |
1 |
p. 93-100
8 p.
|
artikel
|
| 11 |
Recursion Theoretic Properties of Frequency Computation and Bounded Queries
|
Kummer, M.
|
|
1995
|
120 |
1 |
p. 59-77
19 p.
|
artikel
|
| 12 |
The Bounds of Skolem Functions and Their Applications
|
Tung, S.P.
|
|
1995
|
120 |
1 |
p. 149-154
6 p.
|
artikel
|
| 13 |
The Global Power of Additional Queries to Random Oracles
|
Book, R.V.
|
|
1995
|
120 |
1 |
p. 49-54
6 p.
|
artikel
|
| 14 |
Vector Analysis of Threshold Functions
|
Roychowdhury, V.
|
|
1995
|
120 |
1 |
p. 22-31
10 p.
|
artikel
|
Tijdschrift beschrijving