|
|||||
|
|
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators |
|
| Authors: | NEMETI, I. SAIN, I. SIMON, A. |
| Affiliation: | Mathematics Institute of Hungarian Academy of Sciences Budapest, P.O.B. 127, H-136 Hungary E-mail:nemeti.sain.andras{at}math-inst.hu |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |