research
∙
08/22/2022
Regular languages defined by first-order formulas without quantifier alternation
We give a simple new proof that regular languages defined by first-order...
share
research
∙
02/14/2019
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
We study two extensions of FO2[<], first-order logic interpreted in fini...
research
∙
09/25/2017
