Theoretical Computer Science, Volume 133

Volume 133, Number 1, 11 October 1994

Selected Papers of the Workshop on Continuous Algorithms and Complexity, Barcelona, Spain, Octobert 1993

Volume 133, Number 2, 24 October 1994

Special Issue on Formal Methods in Databases and Software Engineering
maintained by Schloss Dagstuhl LZI at University of Trier