The following pages link to Jerzy Tiuryn (Q801683):
Displaying 9 items.
- A model for the evolution of paralog families in genomes (Q883783) (← links)
- The undecidability of the semi-unification problem (Q1207950) (← links)
- The subtyping problem for second-order types is undecidable. (Q1400717) (← links)
- On the completeness of propositional Hoare logic (Q1602554) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311093) (← links)
- Types for Proofs and Programs (Q5712324) (← links)
