Proc. STACS 88, Lect.Notes Comp.Sci. 294 (R.Cori, M.Wirsing eds), Springer-Verlag, Berlin, pp.334-346, 1988.
On the existence of the minimum asynchronous automaton and on decision problems for unambiguous regular trace languages
SABADINI, NICOLETTA
1988-01-01
Abstract
Proc. STACS 88, Lect.Notes Comp.Sci. 294 (R.Cori, M.Wirsing eds), Springer-Verlag, Berlin, pp.334-346, 1988.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.