Boolean algebra of two-dimensional continua with arbitrarily complex topology.

Qinghai Zhang Zhixuan Li

Published in: Math. Comput. (2020)

Keyphrases

boolean algebra
arbitrarily complex
cardinality constraints
constraint query languages
set theory
theorem prover
upper approximation
partial order