research
∙
04/08/2022
On Presburger arithmetic extended with non-unary counting quantifiers
We consider a first-order logic for the integers with addition. This log...
research
∙
01/08/2019
Languages ordered by the subword order
We consider a language together with the subword relation, the cover rel...
research
∙
12/11/2017