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

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