A Solution of the Word Problem for Free Double Boolean Algebras

DOI10.1007/978-3-540-70901-5_16zbMath1187.06010MaRDI QIDQ3590988

Björn Vormbrock

Publication date: 3 September 2007

Published in: Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70901-5_16

Mathematics Subject Classification ID

03D40: Word problems, etc. in computability and recursion theory

06E75: Generalizations of Boolean algebras

Uses Software

• ConImp