Unambiguous Büchi Automata

Olivier Carton, Max Michel. Unambiguous Büchi Automata. In Gaston H. Gonnet, Daniel Panario, Alfredo Viola, editors, LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings. Volume 1776 of Lecture Notes in Computer Science, pages 407-416, Springer, 2000.

Abstract

Abstract is missing.