|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
15 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | An Infinite Hierarchy of Temporal Logics over Branching Time |
Rabinovich, Alexander |
2001 |
171 | 2 |
p. 306-332 27 p. |
article |
|
| 3 | Approximating Unweighted Connectivity Problems in Parallel |
Chen, Zhi-Zhong |
2001 |
171 | 2 |
p. 125-136 12 p. |
article |
|
| 4 | Author Index for Volume 171 |
2001 |
171 | 2 |
p. 389- 1 p. |
article |
||
| 5 | Clausal Logic and Logic Programming in Algebraic Domains |
Rounds, William C |
2001 |
171 | 2 |
p. 183-200 18 p. |
article |
|
| 6 | Complexity Theory and Genetics: The Computational Power of Crossing Over |
Pudlák, P |
2001 |
171 | 2 |
p. 201-223 23 p. |
article |
|
| 7 | Distributed Probabilistic Polling and Applications to Proportionate Agreement |
Hassin, Yehuda |
2001 |
171 | 2 |
p. 248-268 21 p. |
article |
|
| 8 | Efficient and Flexible Matching of Recursive Types |
Palsberg, Jens |
2001 |
171 | 2 |
p. 364-387 24 p. |
article |
|
| 9 | Guaranteeing the Diversity of Number Generators |
Shamir, Adi |
2001 |
171 | 2 |
p. 350-363 14 p. |
article |
|
| 10 | Lower Bounds for Dynamic Algebraic Problems |
Frandsen, Gudmund Skovbjerg |
2001 |
171 | 2 |
p. 333-349 17 p. |
article |
|
| 11 | Online Variable Sized Covering |
Epstein, Leah |
2001 |
171 | 2 |
p. 294-305 12 p. |
article |
|
| 12 | Optimal Robot Localization in Trees |
Fleischer, Rudolf |
2001 |
171 | 2 |
p. 224-247 24 p. |
article |
|
| 13 | Papers to Appear in Forthcoming Issues |
2001 |
171 | 2 |
p. 388- 1 p. |
article |
||
| 14 | Rationality in Algebras with a Series Operation |
Lodaya, K |
2001 |
171 | 2 |
p. 269-293 25 p. |
article |
|
| 15 | Real-Time Properties of Indirect Recursive Procedures |
Blieberger, Johann |
2001 |
171 | 2 |
p. 156-182 27 p. |
article |
15 results found