Inproceedings,

A Solution of the Word Problem for Free Double Boolean Algebras.

.
ICFCA, volume 4390 of Lecture Notes in Computer Science, page 240-270. Springer, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews