No. Title Author Year
1 Degrees of Ambiguity for Parity Tree Automata Rabinovich, Alexander et al. 2021
2 Ambiguity Hierarchy of Regular Infinite Tree Languages Rabinovich, Alexander et al. 2020
3 Degrees of Ambiguity of B├╝chi Tree Automata Rabinovich, Alexander et al. 2019
4 A Proof of Kamp's theorem Rabinovich, Alexander 2012
5 The Church Synthesis Problem with Metric Jenkins, Mark et al. 2011
6 Synthesis of Finite-state and Definable Winning Strategies Rabinovich, Alexander 2009
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI