David A. Mix Barrington, Pierre McKenzie, Cristopher Moore, Pascal Tesson, Denis Thérien. Equation Satisfiability and Program Satisfiability for Finite Monoids. In Mogens Nielsen, Branislav Rovan, editors, Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Volume 1893 of Lecture Notes in Computer Science, pages 172-181, Springer, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.