|
Size: 236
Comment:
|
← Revision 6 as of 2003-09-16 18:17:45 ⇥
Size: 415
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| 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. | 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 |
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