共 50 条
- [42] WORD PROBLEM FOR LATTICE-ORDERED GROUPS - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A476 - A476
- [44] Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators Russian Mathematics, 2022, 66 : 33 - 48
- [50] A solution of the word problem for free double boolean algebras Formal Concept Analysis, Proceedings, 2007, 4390 : 240 - 270