LARA

Differences

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

Link to this comparison view

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.