Advertisement
Guest User

Untitled

a guest
Dec 20th, 2014
182
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.11 KB | None | 0 0
  1. { t < c,... > | ∃ u ∈ U : ... t.c ... u.x ...}
  2.  
  3. { < c,... > | ∃ x,... : U(x,...) ∧ ... c ... x ...}.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement