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


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