Decision problems for equational theories of relation algebras
By: Hajnal Andréka, Steven Givant, István Németi.
Contributors: Givant, Steven R.; Németi, I.
Series: Memoirs of the American Mathematical Society,; no. 604
Publisher: American Mathematical Society
Published: 1997
Place of publication: Providence, R.I
Language: eng
Number of pages: 126
Subjects: Relation algebras.; Decidability (Mathematical logic)
Notes: Includes bibliographical references (p. 112-114) and indexes.
"March 1997, volume 126, number 604 (end of volume)."