#### DMCA

## Semilattice operations on finite subsets (1989)

by
Andrzej Trybulec

Venue: | Journal of Formalized Mathematics |

Citations: | 64 - 16 self |