Login / Signup
Oskar Fiuk
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Modal Logic
Abductive Reasoning
Finite Automaton
Context Free Grammars
Top Venues
WoLLIC
LPAR
</>
Publications
</>
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)