Zoltán Ésik. Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. In Masami Ito, Masafumi Toyama, editors, Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers. Volume 2450 of Lecture Notes in Computer Science, pages 43-58, Springer, 2002. [doi]
Abstract is missing.