Jakub Rózycki

According to our database¹, Jakub Rózycki authored at least 3 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Linear equations for unordered data vectors in $[D]^k\to{}Z^d$.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

2021

Linear equations for unordered data vectors.

[BibT_eX]

[DOI]

CoRR, 2021

On the Expressiveness of Büchi Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2021