Maciej Zielenkiewicz

According to our database, Maciej Zielenkiewicz authored at least 4 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Small Model Property Reflects in Games and Automata.

Maciej Zielenkiewicz

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2016

Automata Theory Approach to Predicate Intuitionistic Logic.

Maciej Zielenkiewicz, Aleksy Schubert

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Java Loops Are Mainly Polynomial.

Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

2014

On multiply-exponential write-once Turing machines.

Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz

CoRR, 2014