Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2003-09-12 00:59:06 →
Size: 310
Editor: yakko
Comment:
← Revision 3 as of 2003-09-12 00:59:21 → ⇥
Size: 313
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
--http://crypto.stanford.edu/~ninghui/papers/spkisdsi_csfw03.pdf from http://crypto.stanford.edu/~ninghui/papers/spkisdsi_csfw03.pdf

Unary constraint domains: each primitive constraint either has the form x θ y, where x and y are variables, or contains only one variable. Some times a primitive constraint that contains just one variable is called a BasicConstraint.

from http://crypto.stanford.edu/~ninghui/papers/spkisdsi_csfw03.pdf

UnaryConstraintDomain (last edited 2003-09-16 18:17:45 by yakko)