Publication:4542592
From MaRDI portal
zbMath1005.68525MaRDI QIDQ4542592
Moshe Y. Vardi, Orna Kupferman
Publication date: 19 February 2003
68Q45: Formal languages and automata
Related Items
Fair simulation, Bridging the gap between fair simulation and trace inclusion, Relating word and tree automata