nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser
|
Intrigila, Benedetto |
|
2001 |
171 |
2 |
p. 137-155 19 p. |
artikel |
2 |
An Infinite Hierarchy of Temporal Logics over Branching Time
|
Rabinovich, Alexander |
|
2001 |
171 |
2 |
p. 306-332 27 p. |
artikel |
3 |
Approximating Unweighted Connectivity Problems in Parallel
|
Chen, Zhi-Zhong |
|
2001 |
171 |
2 |
p. 125-136 12 p. |
artikel |
4 |
Author Index for Volume 171
|
|
|
2001 |
171 |
2 |
p. 389- 1 p. |
artikel |
5 |
Clausal Logic and Logic Programming in Algebraic Domains
|
Rounds, William C |
|
2001 |
171 |
2 |
p. 183-200 18 p. |
artikel |
6 |
Complexity Theory and Genetics: The Computational Power of Crossing Over
|
Pudlák, P |
|
2001 |
171 |
2 |
p. 201-223 23 p. |
artikel |
7 |
Distributed Probabilistic Polling and Applications to Proportionate Agreement
|
Hassin, Yehuda |
|
2001 |
171 |
2 |
p. 248-268 21 p. |
artikel |
8 |
Efficient and Flexible Matching of Recursive Types
|
Palsberg, Jens |
|
2001 |
171 |
2 |
p. 364-387 24 p. |
artikel |
9 |
Guaranteeing the Diversity of Number Generators
|
Shamir, Adi |
|
2001 |
171 |
2 |
p. 350-363 14 p. |
artikel |
10 |
Lower Bounds for Dynamic Algebraic Problems
|
Frandsen, Gudmund Skovbjerg |
|
2001 |
171 |
2 |
p. 333-349 17 p. |
artikel |
11 |
Online Variable Sized Covering
|
Epstein, Leah |
|
2001 |
171 |
2 |
p. 294-305 12 p. |
artikel |
12 |
Optimal Robot Localization in Trees
|
Fleischer, Rudolf |
|
2001 |
171 |
2 |
p. 224-247 24 p. |
artikel |
13 |
Papers to Appear in Forthcoming Issues
|
|
|
2001 |
171 |
2 |
p. 388- 1 p. |
artikel |
14 |
Rationality in Algebras with a Series Operation
|
Lodaya, K |
|
2001 |
171 |
2 |
p. 269-293 25 p. |
artikel |
15 |
Real-Time Properties of Indirect Recursive Procedures
|
Blieberger, Johann |
|
2001 |
171 |
2 |
p. 156-182 27 p. |
artikel |