You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Back to the list of the institutes

Publications

Maciej Zielenkiewicz

2017

Maciej Piotr Zielenkiewicz and Aleksy Andrzej Schubert, Automata Theory Approach to Predicate Intuitionistic Logic, in: Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Springer, 2017, p. 345–360.see in PBN

2015

Maciej Zielenkiewicz, Jacek Chrząszcz and Aleksy Schubert, Java Loops Are Mainly Polynomial, in: SOFSEM 2015: Theory and Practice of Computer Science, 2015, p. 603–614.see in PBN