| Title:
|
Decidability of weak equational theories (English) |
| Author:
|
Szymański, Robert |
| Language:
|
English |
| Journal:
|
Czechoslovak Mathematical Journal |
| ISSN:
|
0011-4642 (print) |
| ISSN:
|
1572-9141 (online) |
| Volume:
|
46 |
| Issue:
|
4 |
| Year:
|
1996 |
| Pages:
|
629-664 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B25 |
| MSC:
|
03C05 |
| MSC:
|
08A55 |
| MSC:
|
08B05 |
| idZBL:
|
Zbl 0879.08005 |
| idMR:
|
MR1414600 |
| DOI:
|
10.21136/CMJ.1996.127325 |
| . |
| Date available:
|
2009-09-24T10:00:49Z |
| Last updated:
|
2020-07-29 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/127325 |
| . |
| Reference:
|
[1] G. Grätzer: Universal Algebra.van Nostrand Comp., 1968. MR 0248066 |
| Reference:
|
[2] L. Rudak: A completeness theorem for weak equational logic.Algebra Universalis 16 (1983), 331. Zbl 0519.08006, MR 0695052, 10.1007/BF01191787 |
| . |
