LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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