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

Automata theory approach to predicate intuitionistic logic.

Maciej Zielenkiewicz, Aleksy Schubert

J. Log. Comput., 2022

Small Model Property Reflects in Games and Automata.

Maciej Zielenkiewicz

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

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