nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Communication-Randomness Tradeoff for Two-Processor Systems
|
Fleischer, R. |
|
1995 |
116 |
2 |
p. 155-161 7 p. |
artikel |
2 |
An Operational Semantics for Timed CSP
|
Schneider, S. |
|
1995 |
116 |
2 |
p. 193-213 21 p. |
artikel |
3 |
A Quick Construction of a Retraction of All Retractions for Stable Bifinites
|
Amadio, R.M. |
|
1995 |
116 |
2 |
p. 272-274 3 p. |
artikel |
4 |
Attributed Tree Transducers Cannot Induce All Deterministic Bottom-up Tree Transformations
|
Fulop, Z. |
|
1995 |
116 |
2 |
p. 231-240 10 p. |
artikel |
5 |
Author Index for Volume 116
|
|
|
1995 |
116 |
2 |
p. 312- 1 p. |
artikel |
6 |
Communication Complexity of Sum-Type Functions Invariant under Translation
|
Tamm, U. |
|
1995 |
116 |
2 |
p. 162-173 12 p. |
artikel |
7 |
Complexity Issues for Vacillatory Function Identification
|
Case, J. |
|
1995 |
116 |
2 |
p. 174-192 19 p. |
artikel |
8 |
Entropy Optimization Models with Convex Constraints
|
Fang, S.C. |
|
1995 |
116 |
2 |
p. 304-311 8 p. |
artikel |
9 |
Feasible Computability and Resource Bounded Topology
|
Yamakami, T. |
|
1995 |
116 |
2 |
p. 214-230 17 p. |
artikel |
10 |
Objects in the π-Calculus
|
Walker, D. |
|
1995 |
116 |
2 |
p. 253-271 19 p. |
artikel |
11 |
Statman′s 1-Section Theorem
|
Riecke, J.G. |
|
1995 |
116 |
2 |
p. 294-303 10 p. |
artikel |
12 |
Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement
|
Courcelle, B. |
|
1995 |
116 |
2 |
p. 275-293 19 p. |
artikel |
13 |
Updates and Subjunctive Queries
|
Grahne, G. |
|
1995 |
116 |
2 |
p. 241-252 12 p. |
artikel |