Monk algebras and Ramsey theory.

Richard L. Kramer Roger D. Maddux

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

theoretical framework
mathematical foundations
formal theory
real world
data mining
image processing
user interface
computational model
theoretical foundation
conceptual framework
boolean algebra
formal logic