dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jerzy Tiuryn (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn: Alpha-Conversion and Typability. Inf. Comput. 150(1): 1-21 (1999)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: An Analysis of ML Typability. J. ACM 41(2): 368-398 (1994)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: Type Reconstruction in the Presence of Polymorphic Recursion. ACM Trans. Program. Lang. Syst. 15(2): 290-311 (1993)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: The Undecidability of the Semi-unification Problem Inf. Comput. 102(1): 83-101 (1993)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn: Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus Inf. Comput. 98(2): 228-257 (1992)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. Theor. Comput. Sci. 93(1): 1-41 (1992)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: ML Typability is DEXTIME-Complete. CAAP 1990: 206-220
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn: Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) LICS 1990: 2-11
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: The Undecidability of the Semi-Unification Problem (Preliminary Report) STOC 1990: 468-476
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) LICS 1989: 98-105
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: On the Computational Power of Universally Polymorphic Recursion LICS 1988: 72-81
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: A Proper Extension of ML with an Effective Type-Assignment. POPL 1988: 58-69
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: The Hierarchy of Finitely Typed Functional Programs (Short Version) LICS 1987: 225-235

Selection of 13 from 97 records - Jerzy Tiuryn has 42 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page