Jakub Różycki | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Piotr Hofman
8 publications
Christoph Haase
7 publications

research

∙ 08/09/2021

Linear equations for unordered data vectors in [D]^k→Z^d

Following a recently considered generalisation of linear equations to un...

0 Piotr Hofman, et al. ∙

research

∙ 10/24/2020

On the Expressiveness of Büchi Arithmetic

We show that the existential fragment of Büchi arithmetic is strictly le...

0 Christoph Haase, et al. ∙