No. Title Author Year
1 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
2 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
3 Lipschitz Robustness of Finite-state Transducers Henzinger, Thomas A. et al. 2014
4 Elementary Modal Logics over Transitive Structures Michaliszyn, Jakub et al. 2013
5 Modal Logics Definable by Universal Three-Variable Formulas Kieronski, Emanuel et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI