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 BibTeX
Christian Choffrut: On the Starheight of Some Rational Subsets Closed under Partial Commutations. 61-82 BibTeX
Joseph Y.-T. Leung, C. S. Wong: Minimizing the Number of Late Tasks with Error Constraint. 83-108 BibTeX
Krzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs. 109-157 BibTeX

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