Maciej Zielenkiewicz

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 6

Top Topics

Proof Theoretic

Automata Theory

Intuitionistic Logic

Top Venues

J. Log. Comput.

Publications

Maciej Zielenkiewicz
Small Model Property Reflects in Games and Automata. LFCS (2022)
Maciej Zielenkiewicz, Aleksy Schubert
Automata theory approach to predicate intuitionistic logic. J. Log. Comput. 32 (3) (2022)
Maciej Zielenkiewicz
Small model property reflects in games and automata. CoRR (2021)
Maciej Zielenkiewicz, Aleksy Schubert
Automata Theory Approach to Predicate Intuitionistic Logic. LOPSTR (2016)
Maciej Zielenkiewicz, Aleksy Schubert
Automata Theory Approach to Predicate Intuitionistic Logic. CoRR (2016)
Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
Java Loops Are Mainly Polynomial. SOFSEM (2015)
Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz
On multiply-exponential write-once Turing machines. CoRR (2014)