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

Details

• 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