No. Title Author Year
1 Cost Functions Definable by Min/Max Automata Colcombet, Thomas et al. 2016
2 Two-Variable Logic over Countable Linear Orderings Manuel, Amaldev et al. 2016
3 Combinatorial Expressions and Lower Bounds Colcombet, Thomas et al. 2015
4 Fragments of Fixpoint Logic on Data Words Colcombet, Thomas et al. 2015
5 Generalized Data Automata and Fixpoint Logic Colcombet, Thomas et al. 2014
6 Two-Variable Logic on 2-Dimensional Structures Manuel, Amaldev et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI