scientific article
From MaRDI portal
Publication:2767933
zbMath0984.06500MaRDI QIDQ2767933
Publication date: 14 February 2002
Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure theory of Boolean algebras (06E05) Software, source code, etc. for problems pertaining to ordered structures (06-04)
Related Items (4)
Automatization of ternary Boolean algebras ⋮ Two axiomatizations of Nelson algebras. ⋮ Kleene algebra of partial predicates ⋮ On two alternative axiomatizations of lattices by McKenzie and Sholander
Uses Software
This page was built for publication:
