Касымов, Н.Х.. "О числе $Q$-конгруэнций позитивных алгебр." Algebra i Logika 31.3 (1992): 297-305. <http://eudml.org/doc/187611>.
@article{Касымов1992, author = {Касымов, Н.Х.}, journal = {Algebra i Logika}, keywords = {effective description; positive models; abstract data type; positive algebras; logic programming; decidability problems for positive enumerations; recursive quotient algebras; universal Horn sentences}, language = {rus}, number = {3}, pages = {297-305}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {О числе $Q$-конгруэнций позитивных алгебр}, url = {http://eudml.org/doc/187611}, volume = {31}, year = {1992}, }
TY - JOUR AU - Касымов, Н.Х. TI - О числе $Q$-конгруэнций позитивных алгебр JO - Algebra i Logika PY - 1992 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 31 IS - 3 SP - 297 EP - 305 LA - rus KW - effective description; positive models; abstract data type; positive algebras; logic programming; decidability problems for positive enumerations; recursive quotient algebras; universal Horn sentences UR - http://eudml.org/doc/187611 ER -
