Information and Computation, Volume 142

Volume 142, Number 1, April 10, 1998

Dexter Kozen: Set Constraints and Logic Programming. 2-25 BibTeX
Spiro Michaylov: Repeated Redundant Inequalities in Constraint Logic Programming. 26-39 BibTeX
Witold Charatonik: Set Constraints in Some Equational Theories. 40-75 BibTeX
Rolf Backofen, Ralf Treinen: How to Win a Game with Features. 76-101 BibTeX
Christopher Lynch: Local Simplification. 102-126 BibTeX

Viliam Geffert: Bridging Across the log(n) Space Frontier. 127-158 BibTeX
Mikkel Thorup: All Structured Programs have Small Tree-Width and Good Register Allocation. 159-181 BibTeX
Anne Brüggemann-Klein, Derick Wood: One-Unambiguous Regular Languages. 182-206 BibTeX
Helmut Veith: Succinct Representation, Leaf Languages, and Projection Reductions. 207-236 BibTeX