Statistics
Publications
22
Citations
627
H-Index
16
Active since
1981
Paweł Urzyczyn is an author at University of Warsaw specializing in computer science, computing, and type systems.
Publications per year
1981–2016
22
22
A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn · Journal of the ACM · 1994 · 58 citations · Full text
The undecidability of the semi-unification problem
A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn · 1990 · 49 citations · Full text
The emptiness problem for intersection types
Paweł Urzyczyn · Journal of Symbolic Logic · 1999 · 47 citations
1–5 of 22