The following pages link to Jerzy Tiuryn (Q801683):
Displaying 6 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)
- Mathematical Foundations of Computer Science 2004 (Q5311093) (← links)
- Types for Proofs and Programs (Q5712324) (← links)
