Decision problems for equational theories of relation algebras [electronic resource] / Hajnal Andréka, Steven Givant, István Németi
- Memoirs of the American Mathematical Society, 0065-9266 (print), 1947-6221 (online); v. 604
- Restrictions on Access:
- Access is restricted to licensed institutions
- 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
- 9781470401894 (online)
- "March 1997, volume 126, number 604 (end of volume)."
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references (pages 112-114) and indexes.
- Reproduction Note:
- Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
- Technical Details:
- Mode of access : World Wide Web
View MARC record | catkey: 10017682