Andréka, H.

Decision problems for equational theories of relation algebras/ Hajnal Andréka, Steven Givant, István Németi. - Providence, R.I.: American Mathematical Society, c1997. - xiv, 126 p.: ill.; 26 cm. - Memoirs of the American Mathematical Society; no.604. .

"March 1997, volume 126, number 604 (end of volume)."

Includes bibliographical references (p. 112-114) and indexes.

0821805959 (pbk. : acid-free paper)

96037450

GB97-49805


Relation algebras
Decidability (Mathematical logic)

510 s 511.3/24