LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:collecting_semantics [2008/05/08 12:36]
vkuncak
sav08:collecting_semantics [2008/05/08 12:37]
vkuncak
Line 30: Line 30:
 The last condition is equivalent to The last condition is equivalent to
 \[ \[
-  \bigwedge_{p_2 \in V}\ \left( C(p_2) = C(p_2) \bigcup_{(p_1,​p_2) \in E} \sp(C(p_1),​r(p_1,​p_2))) \right)+  \bigwedge_{p_2 \in V}\ \left( C(p_2) = C(p_2) ​\cup \bigcup_{(p_1,​p_2) \in E} sp(C(p_1),​r(p_1,​p_2))) \right)
 \] \]