Author:
Mayr Richard,Clemente Lorenzo
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coinductive Algorithms for Büchi Automata;Developments in Language Theory;2019
2. Parity game reductions;Acta Informatica;2017-08-04
3. Reducing Nondeterministic Tree Automata by Adding Transitions;Electronic Proceedings in Theoretical Computer Science;2016-12-13
4. Multi-Buffer Simulations for Trace Language Inclusion;Electronic Proceedings in Theoretical Computer Science;2016-09-13
5. Two-Buffer Simulation Games;Electronic Proceedings in Theoretical Computer Science;2016-07-31