Information and Computation, Volume 106

Volume 106, Number 1, 1993

Erik Palmgren: An Information System Interpretation of Martin-L\"of's Partial Type Theory with Universes. 26-60
Christian Choffrut: On the Starheight of Some Rational Subsets Closed under Partial Commutations. 61-82
Joseph Y.-T. Leung, C. S. Wong: Minimizing the Number of Late Tasks with Error Constraint. 83-108
Krzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs. 109-157

Robert Cori, Yves Métivier, Wieslaw Zielonka: Asynchronous Mappings and Asynchronous Cellular Automata. 159-202
Kimio Kawaguchi, Koichi Wada: New Results in Graph Routing. 203-233
Ricardo A. Baeza-Yates, Joseph C. Culberson, Gregory J. E. Rawlins: Searching in the Plane. 234-252
Rodney R. Howell, Petr Jancar, Louis E. Rosier: Completeness Results for Single-Path Petri Nets. 253-265
Omer Berkman, Uzi Vishkin: On Parallel Integer Merging. 266-285
Stefan Meiser: Point Location in Arrangements of Hyperplanes. 286-303