The following pages link to Jerzy Tiuryn (Q801683):
Displaying 50 items.
- Equivalences among logics of programs (Q801684) (← links)
- A model for the evolution of paralog families in genomes (Q883783) (← links)
- Fixed points in free process algebras. II (Q913498) (← links)
- Some relationships between logics of programs and complexity theory (Q1106839) (← links)
- A simplified proof of \(DDL<DL\) (Q1117214) (← links)
- Unique fixed points vs. least fixed points (Q1142573) (← links)
- Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
- (Q1185004) (redirect page) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus (Q1193590) (← 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)
- Fixed points in free process algebras. I (Q1822946) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- DLS-trees: a model of evolutionary scenarios (Q2503308) (← links)
- (Q2757850) (← links)
- Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model (Q2897946) (← links)
- Equational axiomatization of bicoercibility for polymorphic types (Q2956681) (← links)
- (Q3033318) (← links)
- (Q3146272) (← links)
- (Q3204025) (← links)
- (Q3316584) (← links)
- (Q3327706) (← links)
- (Q3345772) (← links)
- (Q3678651) (← links)
- (Q3678664) (← links)
- Unbounded program memory adds to the expressive power of first-order programming logic (Q3735076) (← links)
- (Q3736898) (← links)
- (Q3776607) (← links)
- (Q3785901) (← links)
- (Q3851588) (← links)
- Some results on the decomposition of finite automata (Q3853136) (← links)
- (Q3877027) (← links)
- (Q3878741) (← links)
- (Q3906395) (← links)
- (Q3908458) (← links)
- (Q3908459) (← links)
- (Q3917490) (← links)
- (Q3922158) (← links)
- (Q3938490) (← links)
- (Q3947105) (← links)
- (Q3948578) (← links)
- (Q3953824) (← links)
- (Q3957927) (← links)
- (Q3960142) (← links)
- (Q3968454) (← links)
- (Q3976029) (← links)
