IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Irek Ulidowski
• Christian Urban
• Alasdair Urquhart
• Pawel Urzyczyn

Irek Ulidowski

• Paper: Irek Ulidowski
  Equivalences on observable processes (LICS 1992) More Information...

Christian Urban

• Paper: Christian Urban James Cheney Stefan Berghofer
  Mechanizing the Metatheory of LF (LICS 2008) 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...

Pawel Urzyczyn

• Paper: Assaf J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
  The Hierarchy of Finitely Typed Functional Programs (Short Version) (LICS 1987) More Information...
• Paper: Assaf J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
  On the computational power of universally polymorphic recursion (LICS 1988) More Information...
• Paper: Assaf J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
  Computational consequences and partial solutions of a generalized unification problem (LICS 1989) 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...