Decision problems for equational theories of relation algebras [electronic resource] / Hajnal Andréka, Steven Givant, István Németi
- Author:
- Andréka, H.
- Published:
- Providence, R.I. : American Mathematical Society, [1997]
- Copyright Date:
- ©1997
- Physical Description:
- 1 online resource (xiv, 126 pages : illustrations)
- Additional Creators:
- Givant, Steven R.
Németi, I. - Access Online:
- ezaccess.libraries.psu.edu
ezaccess.libraries.psu.edu
- Series:
- Memoirs of the American Mathematical Society, 0065-9266 (print), 1947-6221 (online); v. 604
- Restrictions on Access:
- Access is restricted to licensed institutions
- Contents:
- 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
- Subject(s):
- ISBN:
- 9781470401894 (online)
- Note:
- "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