Decision problems for equational theories of relation algebras / [electronic resource] Hajnal Andr�eka, Steven Givant, Istv�an N�emeti.
Material type: TextSeries: Memoirs of the American Mathematical Society ; v. 604Publication details: Providence, R.I. : American Mathematical Society, c1997Description: 1 online resource (xiv, 126 p. : ill.)ISBN: 9781470401894 (online)Subject(s): Relation algebras | Decidability (Mathematical logic)Additional physical formats: Decision problems for equational theories of relation algebras /DDC classification: 510 s | 511.3/24 LOC classification: QA3 | .A57 no. 604 | QA10Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK13057 |
"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
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.