Decision problems for equational theories of relation algebras

Author(s)

• Andréka, H
• Givant, Steven R.
• Németi, I

Bibliographic Information

Decision problems for equational theories of relation algebras

Hajnal Andréka, Steven Givant, István Németi

（Memoirs of the American Mathematical Society, no. 604）

American Mathematical Society, 1997

Note

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

Includes bibliography (p. 112-114), and indexes of symbols, and names and subject

Description and Table of Contents

Description

Covers decision problems for equational theories of relation algebras. This work is intended for graduate students, research mathematicians, and computer scientists interested in questions of computability in algebra, logic, and computer science.

by "Nielsen BookData"

• NCID: BA30193916
• ISBN:
  • 0821805959
• LCCN: 96037450
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: xiv, 126 p.
• Size: 26 cm
• Classification:
  • LCC : QA3.A57 no. 604
  • LCC : QA10
  • DC21 : 510 s
  • DC21 : 511.3/24
• Subject Headings:
  • LCSH : Relation algebras
  • LCSH : Decidability (Mathematical logic)
• Parent Bibliography ID:
  • BA00035927