Decision problems for equational theories of relation algebras /
Saved in:
Author / Creator: | Andréka, H. |
---|---|
Imprint: | Providence, R.I. : American Mathematical Society, c1997. |
Description: | xiv, 126 p. : ill. ; 26 cm. |
Language: | English |
Series: | Memoirs of the American Mathematical Society no. 604 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2664299 |
Other authors / contributors: | Givant, Steven R. Németi, I. |
---|---|
ISBN: | 0821805959 (alk. paper) |
Notes: | "March 1997, volume 126, number 604 (end of volume)." Includes bibliographical references (p. 112-114) and index. |
Similar Items
-
Countable Boolean algebras and decidability /
by: Goncharov, S. S.
Published: (1997) -
The classical decision problem /
by: Boerger, Egon, 1946-
Published: (1997) -
Decidability and Boolean representations /
by: Burris, Stanley
Published: (1981) -
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
by: Hirschfeldt, Denis Roman
Published: (2017) -
Cornerstones of undecidability /
by: Rozenberg, Grzegorz
Published: (1994)