Theoretical Computer Science, Volume 140

Volume 140, Number 1, 20 March 1995

Selected Papers of the Third International Conference on Algebraic Methodology of Software Technology (AMAST'93), University of Twente, Enschede, The Netherlands, 21-25 June 1993

Volume 140, Number 2, 3 April 1995

Special Issue on Design and Analysis of Geometrical Algorithms for Robot Motion Planning and Vision
a service of Schloss Dagstuhl - Leibniz Center for Informatics