Amazon cover image
Image from Amazon.com
Image from Google Jackets

Decision problems for equational theories of relation algebras / [electronic resource] Hajnal Andr�eka, Steven Givant, Istv�an N�emeti.

By: Contributor(s): Material type: TextTextSeries: Memoirs of the American Mathematical Society ; v. 604Publication details: Providence, R.I. : American Mathematical Society, c1997.Description: 1 online resource (xiv, 126 p. : ill.)ISBN:
  • 9781470401894 (online)
Subject(s): Additional physical formats: Decision problems for equational theories of relation algebras /DDC classification:
  • 510 s 511.3/24 21
LOC classification:
  • QA3 .A57 no. 604 QA10
Online resources:
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
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
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.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India