Composed Bisimulation for Tree Automata

DOI10.1007/978-3-540-70844-5_22zbMath1172.68487OpenAlexW1503669197MaRDI QIDQ3602816

Lukáš Holík, Lisa Kaati, Tomáš Vojnar, Ahmed Bouajjani, Parosh Aziz Abdulla

Publication date: 12 February 2009

Published in: Implementation and Applications of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70844-5_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Backward and forward bisimulation minimization of tree automata, A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata