No. Title Author Year
1 Ehrenfeucht-Fra´ssÚ Games on Omega-Terms Huschenbett, Martin et al. 2014
2 Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable Kufleitner, Manfred et al. 2013
3 The FO2 alternation hierarchy is decidable Kufleitner, Manfred et al. 2012
4 First-order Fragments with Successor over Infinite Words Kallas, Jakub et al. 2011
5 Fragments of First-Order Logic over Infinite Words Diekert, Volker et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI