The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences |
| |
Authors: | Paweł M. Idziak |
| |
Affiliation: | (1) Department of Logic, Jagiellonian University, Cracow, Poland |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|