Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:deciding_quantifier-free_fol_over_ground_terms [2008/05/19 14:04] vkuncak |
sav08:deciding_quantifier-free_fol_over_ground_terms [2008/05/19 14:08] vkuncak |
||
---|---|---|---|
Line 98: | Line 98: | ||
===== References ===== | ===== References ===== | ||
- | * [[http://lara.epfl.ch/~kuncak/papers/KuncakRinard03TheoryStructuralSubtyping.html|On the Theory of Structural Subtyping]], see Lemma 25 on page 13 | + | * [[http://lara.epfl.ch/~kuncak/papers/KuncakRinard03TheoryStructuralSubtyping.html|On the Theory of Structural Subtyping]], see proof of Lemma 25 on page 13 |