Login / Signup
Oskar Fiuk
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Vapnik Chervonenkis Dimension
Modal Logic
Tree Automata
Tractable Cases
Top Venues
CoRR
Description Logics
LICS
WoLLIC
</>
Publications
</>
Oskar Fiuk
,
Emanuel Kieronski
,
Vincent Michielini
On the Complexity of Maslov's Class K (Extended Abstract).
Description Logics
(2024)
Oskar Fiuk
,
Emanuel Kieronski
,
Vincent Michielini
On the complexity of Maslov's class K.
LICS
(2024)
Oskar Fiuk
,
Emanuel Kieronski
,
Vincent Michielini
On the complexity of Maslov's class K.
CoRR
(2024)
Oskar Fiuk
,
Emanuel Kieronski
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.
CoRR
(2024)
Oskar Fiuk
,
Emanuel Kieronski
An excursion to the border of decidability: between two- and three-variable logic.
LPAR
(2023)
Bartosz Bednarczyk
,
Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.
WoLLIC
(2022)