Optimal Bounds for Transformations of omega-Automata

Christof Löding. Optimal Bounds for Transformations of omega-Automata. In C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings. Volume 1738 of Lecture Notes in Computer Science, pages 97-109, Springer, 1999. [doi]

Abstract

Abstract is missing.