TY  - BOOK
AU  - Andr�eka,H.
AU  - Givant,Steven R.
AU  - N�emeti,I.
TI  - Decision problems for equational theories of relation algebras
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470401894 (online)
AV  - QA3QA10 .A57 no. 604
U1  - 510 s511.3/24 21
PY  - 1997///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Relation algebras
KW  - Decidability (Mathematical logic)
N1  - "March 1997, volume 126, number 604 (end of volume)."; Includes bibliographical references (p. 112-114) and indexes; I. Preliminaries; II. Undecidability; III. A lattice embedding that preserves decidability and undecidability; IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/memo/0604
UR  - http://dx.doi.org/10.1090/memo/0604
ER  -