Proc. 9th ICALP, Lect. Notes Comp. Sci. 140 (M.Nielsen, E.M. Schmidt eds), pp. 61-71, Springer-Verlag, Berlin, 1982
Equivalence and membership problems for regular trace languages
SABADINI, NICOLETTA
1982-01-01
Abstract
Proc. 9th ICALP, Lect. Notes Comp. Sci. 140 (M.Nielsen, E.M. Schmidt eds), pp. 61-71, Springer-Verlag, Berlin, 1982
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.
