Decidable Sentences for Context-Free Groups

Klaus Madlener, Friedrich Otto. Decidable Sentences for Context-Free Groups. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings. Volume 480 of Lecture Notes in Computer Science, pages 160-171, Springer, 1991.

Authors

Klaus Madlener

This author has not been identified. Look up 'Klaus Madlener' in Google

Friedrich Otto

This author has not been identified. Look up 'Friedrich Otto' in Google