Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:analyses_based_on_formulas [2009/04/08 10:39] vkuncak |
sav08:analyses_based_on_formulas [2010/04/19 13:14] vkuncak |
||
|---|---|---|---|
| Line 107: | Line 107: | ||
| If there is no solution, there is no invariant **of that particular template form**. | If there is no solution, there is no invariant **of that particular template form**. | ||
| - | Note: for non-numerical domains, we obtain different kinds of constraints. A popular class are set constraints. | + | Note: for non-numerical domains, we obtain different kinds of constraints. A popular class are [[sav08:lecture25|set constraints]]. |
| ===== References ===== | ===== References ===== | ||
| * [[Calculus of Computation Textbook]], Chapter 12 | * [[Calculus of Computation Textbook]], Chapter 12 | ||
| - | * [[:sav07_lecture_7]] | + | |