research
∙
06/28/2022
On two-variable guarded fragment logic with expressive local Presburger constraints
We consider the extension of two-variable guarded fragment logic with lo...
research
∙
04/21/2021