Normal view MARC view ISBD view

Andr�eka, H.

Decision problems for equational theories of relation algebras / [electronic resource] Hajnal Andr�eka, Steven Givant, Istv�an N�emeti. - Providence, R.I. : American Mathematical Society, c1997. - 1 online resource (xiv, 126 p. : ill.) - Memoirs of the American Mathematical Society, v. 604 0065-9266 (print); 1947-6221 (online); .

"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

ISBN: 9781470401894 (online)

Subjects--Topical Terms:
Relation algebras.
Decidability (Mathematical logic)

LC Class. No.: QA3 QA10 / .A57 no. 604

Dewey Class. No.: 510 s 511.3/24