Decidability of weak equational theories
Czechoslovak Mathematical Journal (1996)
- Volume: 46, Issue: 4, page 629-664
- ISSN: 0011-4642
Access Full Article
top
How to cite
topSzymański, Robert. "Decidability of weak equational theories." Czechoslovak Mathematical Journal 46.4 (1996): 629-664. <http://eudml.org/doc/30336>.
@article{Szymański1996,
author = {Szymański, Robert},
journal = {Czechoslovak Mathematical Journal},
keywords = {partial algebra; term; weak transitivity; equational logic},
language = {eng},
number = {4},
pages = {629-664},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Decidability of weak equational theories},
url = {http://eudml.org/doc/30336},
volume = {46},
year = {1996},
}
TY - JOUR
AU - Szymański, Robert
TI - Decidability of weak equational theories
JO - Czechoslovak Mathematical Journal
PY - 1996
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 46
IS - 4
SP - 629
EP - 664
LA - eng
KW - partial algebra; term; weak transitivity; equational logic
UR - http://eudml.org/doc/30336
ER -
References
top- Universal Algebra, van Nostrand Comp., 1968. (1968) MR0248066
- 10.1007/BF01191787, Algebra Universalis 16 (1983), 331. (1983) Zbl0519.08006MR0695052DOI10.1007/BF01191787
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.