DMCA

Semilattice operations on finite subsets (1989)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics
Citations:64 - 16 self