Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next 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:04] vkuncak |
||
|---|---|---|---|
| Line 98: | Line 98: | ||
| ===== References ===== | ===== References ===== | ||
| - | * [[http://lara.epfl.ch/~kuncak/papers/KuncakRinard03TheoryStructuralSubtyping.html|On the Theory of Structural Subtyping]], see | + | * [[http://lara.epfl.ch/~kuncak/papers/KuncakRinard03TheoryStructuralSubtyping.html|On the Theory of Structural Subtyping]], see Lemma 25 on page 13 |