Ronald V. Book;Matthias Jantzen;Burkhard Monien;Colm Ó'Dúnlaing;Celia Wrathall
-;-;-;-;-
Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories
Journal of Automated Reasoning
Word Problems for 2-Homogeneous Monoids and Symmetric Logspace
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Note: A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems
Theoretical Computer Science