Considered are finite sets of objects A1, …, An which we will call operations and two-place (logical) variables p1, …, pk taking the values 0 and 1.
Iu I. Ianov
Author Archives
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved