Email RIS file
Bookmark
Report an Issue

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. and Németi, I.
Access Online

Availability

I Want It
I Want It

Finding items...

Series
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