Authors on this page:
Ulidowski, I.
- Paper: Ulidowski, I.
Equivalences on observable processes (LICS 1992) More Information...
Alasdair Urquhart
- Paper: Russell Impagliazzo Toniann Pitassi Alasdair Urquhart
Upper and lower bounds for tree-like cutting planes proofs (LICS 1994) More Information...
P. Urzyczyn
- Paper: A. J. Kfoury J. Tiuryn P. Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version) (LICS 1987) More Information...
Pawel Urzyczyn
- Paper: A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
On the computational power of universally polymorphic recursion (LICS 1988) More Information... - Paper: Pawel Urzyczyn
The emptiness problem for intersection types (LICS 1994) More Information... - Paper: Jerzy Tiuryn Pawel Urzyczyn
The Subtyping Problem for Second-Order Types is Undecidable (LICS 1996) More Information... - Paper: Mariangiola Dezani-Ciancaglini Jerzy Tiuryn Pawel Urzyczyn
Discrimination by Parallel Observers (LICS 1997) More Information...
Urzyczyn, P.
- Paper: Kfoury, A.J. Tiuryn, J. Urzyczyn, P.
Computational consequences and partial solutions of a generalized unification problem (LICS 1989) More Information...