No. Title Author Year
1 Solutions of Word Equations Over Partially Commutative Structures Diekert, Volker et al. 2016
2 Efficient Algorithms for Morphisms over Omega-Regular Languages Fleischer, Lukas et al. 2015
3 Ehrenfeucht-Fra´ssÚ Games on Omega-Terms Huschenbett, Martin et al. 2014
4 Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable Kufleitner, Manfred et al. 2013
5 The FO2 alternation hierarchy is decidable Kufleitner, Manfred et al. 2012
6 First-order Fragments with Successor over Infinite Words Kallas, Jakub et al. 2011
7 Fragments of First-Order Logic over Infinite Words Diekert, Volker et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI