Functional reducts of the countable atomless Boolean algebra.

Bertalan Bodor Kende Kalina Csaba Szabó

Published in: Int. J. Algebra Comput. (2023)

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
rough sets
greedy algorithm
rough set theory
upper approximation
decision table
set theory
theorem prover
markov chain
pattern matching
attribute reduction
decision rules
dynamic programming
data management