Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pawel Urzyczyn

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jerzy Tiuryn

> Home > Persons > Pawel Urzyczyn

Publications

2003
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/types/BonoTU03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BonoTU03
Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn:
Type Inference for Nested Self Types. TYPES 2003: 99-114
2002
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/TiurynU02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TiurynU02
Jerzy Tiuryn, Pawel Urzyczyn:
The Subtyping Problem for Second-Order Types Is Undecidable. Inf. Comput. 179(1): 1-18 (2002)
1999
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KfouryRTU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KfouryRTU99
A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn:
Alpha-Conversion and Typability. Inf. Comput. 150(1): 1-21 (1999)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Dezani-CiancagliniTU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Dezani-CiancagliniTU99
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn:
Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150(2): 153-186 (1999)
1997
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Dezani-CiancagliniTU97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Dezani-CiancagliniTU97
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn:
Discrimination by Parallel Observers. LICS 1997: 396-407
1996
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/TiurynU96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/TiurynU96
Jerzy Tiuryn, Pawel Urzyczyn:
The Subtyping Problem for Second-Order Types is Undecidable. LICS 1996: 74-85
1994
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/KfouryTU94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/KfouryTU94
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
An Analysis of ML Typability. J. ACM 41(2): 368-398 (1994)
1993
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KfouryTU93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KfouryTU93
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
The Undecidability of the Semi-unification Problem. Inf. Comput. 102(1): 83-101 (1993)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KfouryTU93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KfouryTU93
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
Type Reconstruction in the Presence of Polymorphic Recursion. ACM Trans. Program. Lang. Syst. 15(2): 290-311 (1993)
1992
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KfouryTU92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KfouryTU92
A. 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)
1990
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/KfouryTU90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/KfouryTU90
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
ML Typability is DEXTIME-Complete. CAAP 1990: 206-220
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/KfouryTU90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/KfouryTU90
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
The Undecidability of the Semi-Unification Problem (Preliminary Report). STOC 1990: 468-476
1989
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KfouryTU89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KfouryTU89
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report). LICS 1989: 98-105
1988
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TiurynU88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TiurynU88
Jerzy Tiuryn, Pawel Urzyczyn:
Some Relationships Between Logics of Programs and Complexity Theory. Theor. Comput. Sci. 60: 83-108 (1988)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KfouryTU88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KfouryTU88
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
On the Computational Power of Universally Polymorphic Recursion. LICS 1988: 72-81
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KfouryTU88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KfouryTU88
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
A Proper Extension of ML with an Effective Type-Assignment. POPL 1988: 58-69
1987
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/KfouryTU87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KfouryTU87
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
The Hierarchy of Finitely Typed Functional Programs (Short Version). LICS 1987: 225-235
1984
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/TiurynU84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/TiurynU84
Jerzy Tiuryn, Pawel Urzyczyn:
Remarks on Comparing Expressive Power of Logics of Programs. MFCS 1984: 535-543
1983
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/TiurynU83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/TiurynU83
Jerzy Tiuryn, Pawel Urzyczyn:
Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract). FOCS 1983: 180-184

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.