STACS 95 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / - Mayr, Ernst.; Puech, Claude. (Lecture notes in computer science ;)