Differences
This shows you the differences between two versions of the page.
— |
sav08:implication_is_preorder [2008/04/30 10:56] (current) vkuncak created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Implication is Preorder ====== | ||
+ | |||
+ | How to construct approximate domains? | ||
+ | |||
+ | Formulas defining domains. | ||