Oskar Fiuk

According to our database, Oskar Fiuk authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

An excursion to the border of decidability: between two- and three-variable logic.

Oskar Fiuk, Emanuel Kieronski

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.

Bartosz Bednarczyk, Oskar Fiuk

Proceedings of the Logic, Language, Information, and Computation, 2022