The complement of set B, B’, contains all the elements that are not in set B. \(P’\) is the complement of set \(P\). The intersection of one set and the complement of another set identifies elements ...
Abstract: We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in general, be ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results