1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2021
Small model property reflects in games and automata
Maciej Zielenkiewicz
Small model property is an important property that implies decidability. We show that the small model size is directly related to some important resources in games and automata for…
cs.LO2016
Automata Theory Approach to Predicate Intuitionistic Logic
Maciej Zielenkiewicz, Aleksy Schubert
Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synt…
cs.CC2014★ 1 cited
On multiply-exponential write-once Turing machines
Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrząszcz
In this work we analyze the multiply-exponential complexity classes for write-once Turing machines, i.e. machines that can write to a given tape cell at most once. We show that …