Geodesic
Decidability of weak equational theories
Czechoslovak Mathematical Journal, Tome 46 (1996) no. 4, pp. 629-664

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
DOI : 10.21136/CMJ.1996.127325
Classification : 03B25, 03C05, 08A55, 08B05 
Szymański, Robert. Decidability of weak equational theories. Czechoslovak Mathematical Journal, Tome 46 (1996) no. 4, pp. 629-664. doi: 10.21136/CMJ.1996.127325
@article{10_21136_CMJ_1996_127325,
     author = {Szyma\'nski, Robert},
     title = {Decidability of weak equational theories},
     journal = {Czechoslovak Mathematical Journal},
     pages = {629--664},
     year = {1996},
     volume = {46},
     number = {4},
     doi = {10.21136/CMJ.1996.127325},
     mrnumber = {1414600},
     zbl = {0879.08005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1996.127325/}
}
TY  - JOUR
AU  - Szymański, Robert
TI  - Decidability of weak equational theories
JO  - Czechoslovak Mathematical Journal
PY  - 1996
SP  - 629
EP  - 664
VL  - 46
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1996.127325/
DO  - 10.21136/CMJ.1996.127325
LA  - en
ID  - 10_21136_CMJ_1996_127325
ER  - 
%0 Journal Article
%A Szymański, Robert
%T Decidability of weak equational theories
%J Czechoslovak Mathematical Journal
%D 1996
%P 629-664
%V 46
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1996.127325/
%R 10.21136/CMJ.1996.127325
%G en
%F 10_21136_CMJ_1996_127325

[1] G. Grätzer: Universal Algebra. van Nostrand Comp., 1968. | MR

[2] L. Rudak: A completeness theorem for weak equational logic. Algebra Universalis 16 (1983), 331. | DOI | MR | Zbl

Cité par Sources :