COMPOSED BISIMULATION FOR TREE AUTOMATA
From MaRDI portal
Publication:3395139
DOI10.1142/S0129054109006814zbMath1176.68098OpenAlexW1976891319MaRDI QIDQ3395139
Ahmed Bouajjani, Tomáš Vojnar, Lisa Kaati, Lukáš Holík, Parosh Aziz Abdulla
Publication date: 21 August 2009
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054109006814
Related Items
Cites Work