nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A note on a theorem of Barrington, Straubing and Thérien
|
Caussinus, Hervé |
|
1996 |
58 |
1 |
p. 31-33 3 p. |
artikel |
2 |
A pursuit-evasion problem on a grid
|
Neufeld, Stewart W. |
|
1996 |
58 |
1 |
p. 5-9 5 p. |
artikel |
3 |
Design and analysis of a generalized multi-ring architecture
|
Krishnamachari, Bagirath R. |
|
1996 |
58 |
1 |
p. 17-21 5 p. |
artikel |
4 |
Editorial Board
|
|
|
1996 |
58 |
1 |
p. ii- 1 p. |
artikel |
5 |
Finitistic proofs of 0–1 laws for fragments of second-order logic
|
Lacoste, Thierry |
|
1996 |
58 |
1 |
p. 1-4 4 p. |
artikel |
6 |
Functions computable with limited access to NP
|
Ogihara, Mitsunori |
|
1996 |
58 |
1 |
p. 35-38 4 p. |
artikel |
7 |
Iterative deepening multiobjective A
|
Harikumar, S. |
|
1996 |
58 |
1 |
p. 11-15 5 p. |
artikel |
8 |
On approximation algorithms for the minimum satisfiability problem
|
Marathe, M.V. |
|
1996 |
58 |
1 |
p. 23-29 7 p. |
artikel |
9 |
On path equivalence of nondeterministic finite automata
|
Wen-Guey, Tzeng |
|
1996 |
58 |
1 |
p. 43-46 4 p. |
artikel |
10 |
On proving that a graph has no large clique: A connection with Ramsey theory
|
Lipton, Richard J. |
|
1996 |
58 |
1 |
p. 39-42 4 p. |
artikel |
11 |
Simple atomic snapshots: A linear complexity solution with unbounded time-stamps
|
Kirousis, Lefteris M. |
|
1996 |
58 |
1 |
p. 47-53 7 p. |
artikel |