|
|||||
|
|
On the equational theory of representable polyadic equality algebras (extended abstract) |
|
| Authors: | Nemeti, I Sagi, G |
| Affiliation: | Mathematical Institute, Hungarian Academy of Sciences, Budapest Pf. 127, H-1364 Hungary E-mail: {nemeti,sagi}@math-inst.hu |
| Abstract: | |
| Keywords: | algebraic logic polyadic algebras cylindric algebras schema axiomatization equational theory computability degreesof unsolvability |
| 本文献已被 Oxford 等数据库收录！ | |