Theoretical Computer Science, Volume 140

Volume 140, Number 1, 20 March 1995

• Don Pigozzi, Antonino Salibra:
  Lambda Abstraction Algebras: Representation Theorems. 5-52
  
• François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen:
  Translations Between Modal Logics of Reactive Systems. 53-71
  
• Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano:
  A Theory of Processes with Durational Actions. 73-94
  
• Abdelillah Mokkedem, Dominique Méry:
  On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. 95-138
  
• Marisa Navarro, Fernando Orejas, Ana Sánchez:
  On the Correctness of Modular Systems. 139-177
  
• Eric G. Wagner:
  On the Role of Memory in Object-Based and Object-Oriented Languages. 179-199
  

Volume 140, Number 2, 3 April 1995

• Abhi Dattasharma, S. Sathiya Keerthi:
  An Augmented Voronoi Roadmap for 3D Translational Motion Planning for a Convex Polyhedron Moving Amidst Convex Polyhedral Obstacles. 205-230
  
• Majid Sarrafzadeh, Sanjeev R. Maddila:
  Discrete Warehouse Problem. 231-247
  
• Lakshman Prasad, S. Sitharama Iyengar:
  A Note on the Combinatorial Structure of the Visibility Graph in Simple Polygons. 249-263
  
• Nageswara S. V. Rao:
  On Fast Planning of Suboptimal Paths Amidst Polygonal Obstacles in Plane. 265-289
  
• R. Sridhar, K. Han, N. Chandrasekharan:
  Efficient Algorithms for Shortest Distance Queries on Special Classes of Polygons. 291-300
  
• Mark de Berg, Leonidas J. Guibas, Dan Halperin, Mark H. Overmars, Otfried Schwarzkopf, Micha Sharir, Monique Teillaud:
  Reaching a Goal with Directional Uncertainty. 301-317
  
• Guna Seetharaman:
  A Simplified Design Strategy for Mapping Image Processing Algorithms on a SIMD Torus. 319-331
  
• Saïd Bettayeb:
  On the k-ary Hypercube. 333-339
  

Last update Tue Feb 14 04:22:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page