Equivalence and Membership Problems for Regular Trace Languages

• Authors:

• Alberto Bertoni;Giancarlo Mauri;Nicoletta Sabadini

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 9th Colloquium on Automata, Languages and Programming
• Year:
• 1982