Michael Soltys
Jednostki:
Publikacje:
5.
Grzegorz Herman, Michael Soltys
Unambiguous functions in logarithmic space, Fundamenta Informaticae vol. 114 (2012), 129-147
4.
Grzegorz Herman, Michael Soltys
On the Ehrenfeucht-Mycielski sequence, Journal of Discrete Algorithms (2009), 500-508
3.
Grzegorz Herman, Michael Soltys
Unambiguous functions in logarithmic space, 5th Conference On Computability in Europe, Proceedings (2009), 162-175
2.
Grzegorz Herman, Michael Soltys
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem, the Computing Research Repository (2008), abs/0811.3959
1.
Grzegorz Herman, Tim Paterson, Michael Soltys
A Propositional Proof System with Quantification Over Permutations, Fundamenta Informaticae vol. 79 (2007), 71-83