Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages

Stefano Varricchio. Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages. In Patrice Enjalbert, Alain Finkel, Klaus W. Wagner, editors, STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings. Volume 665 of Lecture Notes in Computer Science, pages 595-606, Springer, 1993.

Abstract

Abstract is missing.