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