Bertoni, A., Mauri, G., Sabadini, N. (1982). Equivalence and membership problems for regular trace languages. In Proceedings of 9th International Conference on Automata, Languages and Programming (ICALP) (pp.61-71). Berlin : Springer [10.1007/BFb0012757].

Equivalence and membership problems for regular trace languages

Mauri, G;
1982

slide + paper
trace languages; membership problems
English
International Conference on Automata, Languages and Programming (ICALP)
1982
Nielsen, M; Schmidt, EM
Proceedings of 9th International Conference on Automata, Languages and Programming (ICALP)
978-3-540-11576-2
1982
140
61
71
none
Bertoni, A., Mauri, G., Sabadini, N. (1982). Equivalence and membership problems for regular trace languages. In Proceedings of 9th International Conference on Automata, Languages and Programming (ICALP) (pp.61-71). Berlin : Springer [10.1007/BFb0012757].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/17074
Citazioni
  • Scopus 33
  • ???jsp.display-item.citation.isi??? 34
Social impact