STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 1994 : proceedings by Symposium on Theoretical Aspects of Computer Science (11th 1994 Caen, France) | Menrva Books | MenrvaBooks