Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Actions for Decision problems for equational theories of relation algebras [electronic resource]
Share
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
Contents:
ezaccess.libraries.psu.edu
Contents:
ezaccess.libraries.psu.edu
Full Text available online
Availability
I Want It
I Want It
Finding items...
Series
Memoirs of the American Mathematical Society ; 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)
Relation algebras
Decidability (Mathematical logic)
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