Jakub Szymanik

Recent Publications

A Dichotomy Result for Ramsey Quantifiers
Ronald De Haan, Jakub Szymanik
Proceedings of WoLLIC 2015, the 22nd International Workshop on Logic, Language, Information, and Computation, 2015, Springer.
PDF Cite