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
  

Volume 106, Number 2, 1993

• 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
  

Last update Sat May 18 20:28:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page