No. Title Author Year
1 An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation Krebs, Andreas et al. 2018
2 An effective characterization of the alternation hierarchy in two-variable logic Krebs, Andreas et al. 2012
3 Algebraic Characterization of the Alternation Hierarchy in FO^2[<] on Finite Words Straubing, Howard 2011
Current Page :
Number of result pages: 1
Number of documents: 3

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