Differences between revisions 5 and 6
⇤ ← Revision 5 as of 2003-09-16 18:17:13 →
Size: 404
Editor: yakko
Comment:
← Revision 6 as of 2003-09-16 18:17:45 → ⇥
Size: 415
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
Note: ~ is used to denote a PredicateSymbol Note: ~ is used to denote one of many PredicateSymbols

Back to ComputerTerms

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.

Note: ~ is used to denote one of many PredicateSymbols

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

Back to ComputerTerms

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