research
∙
01/27/2022
Positive First-order Logic on Words and Graphs
We study FO+, a fragment of first-order logic on finite words, where mon...
share
research
∙
01/06/2021
Positive first-order logic on words
We study FO+, a fragment of first-order logic on finite words, where mon...
research
∙
05/17/2020
