On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages

Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini. On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 334-345, Springer, 1988.

Abstract

Abstract is missing.