Login / Signup
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras.
Boleslaw Sobocinski
Published in:
Notre Dame J. Formal Log. (1972)
Keyphrases
</>
boolean algebra
theorem proving
lattice theory
distributive lattices
decision trees
theoretical analysis
complex networks
lattice structure
real time
artificial intelligence
multiscale
theoretical basis
lattice points