Amazon cover image
Image from Amazon.com

Decision problems for equational theories of relation algebras / [electronic resource] Hajnal Andréka, Steven Givant, István Németi.

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
Holdings
Item type Current library Call number Status Date due Barcode Item holds
eBook eBook e-Library Available
Total holds: 0

"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.

Powered by Koha