1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CC2021★ 1 cited
Linear equations for unordered data vectors in
Piotr Hofman, Jakub Różycki
Following a recently considered generalisation of linear equations to unordered-data vectors and to ordered-data vectors, we perform a further generalisation to data vectors that a…
cs.LO2020
On the Expressiveness of Büchi Arithmetic
Christoph Haase, Jakub Różycki
We show that the existential fragment of Büchi arithmetic is strictly less expressive than full Büchi arithmetic of any base, and moreover establish that its -fragment is alre…