Oskar Fiuk

11 papers A* 2A 1B 1C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2026 A conf
Random Models and Guarded Logic.
STACS
Oskar Fiuk
2026 J jnl
Random Models and Guarded Logic.
CoRR
Oskar Fiuk
2025 J jnl
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.
Log. Methods Comput. Sci.
Oskar Fiuk, Emanuel Kieronski
2025 A* conf
Two-Variable Logic for Hierarchically Partitioned and Ordered Data.
KR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2025 J jnl
Two-Variable Logic for Hierarchically Partitioned and Ordered Data.
CoRR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 J jnl
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.
CoRR
Oskar Fiuk, Emanuel Kieronski
2024 — conf
On the Complexity of Maslov's Class K (Extended Abstract).
Description Logics
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 A* conf
On the complexity of Maslov's class K.
LICS
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2024 J jnl
On the complexity of Maslov's class K.
CoRR
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
2023 B conf
An excursion to the border of decidability: between two- and three-variable logic.
LPAR
Oskar Fiuk, Emanuel Kieronski
2022 C conf
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.
WoLLIC
Bartosz Bednarczyk, Oskar Fiuk