Lab for Automated Reasoning and Analysis 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.
  
 
sav08/implication_is_preorder.txt · Last modified: 2008/04/30 10:56 by vkuncak
 
© EPFL 2018 - Legal notice