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

Saved in:
Bibliographic Details
Main Author: Andréka, H.
Other Authors: Givant, Steven R., Németi, I.
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, 1997.
Series:Memoirs of the American Mathematical Society, no. 604
Subjects:

MARC

LEADER 00000cam a22000008a 4500
001 b1369669
003 MWH
005 19961108151247.8
008 961105s1997 riua b 001 0 eng
010 |a 96037450 
020 |a 0821805959 (alk. paper) 
035 0 0 |i LCMARC/AVB-2347/JMUSHINS 
040 |a DLC  |c DLC 
090 |a QA10 .A52 1997 
100 1 |a Andréka, H. 
245 1 0 |a Decision problems for equational theories of relation algebras /  |c Hajnal Andréka, Steven Givant, István Németi. 
260 |a Providence, R.I. :  |b American Mathematical Society,  |c 1997. 
263 |a 9703 
300 |a xiv, 126 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Memoirs of the American Mathematical Society,  |x 0065-9266 ;  |v no. 604 
500 |a "March 1997, volume 126, number 604 (end of volume)." 
504 |a Includes bibliographical references and index. 
650 0 |a Relation algebras. 
650 0 |a Decidability (Mathematical logic) 
700 1 |a Givant, Steven R. 
700 1 |a Németi, I. 
907 |a .b13696695  |b 05-23-16  |c 10-04-03 
998 |a hq  |b 10-01-03  |c m  |d a   |e -  |f eng  |g riu  |h 0  |i 1 
995 |a MARION AED-7343 
945 |f  - -   |g 1  |h 0  |i 38400002361606  |j  - -   |k  - -   |l hqcol  |o -  |p $0.00  |q -  |r -  |s -   |t 0  |u 0  |v 0  |w 0  |x 0  |y .i14494322  |z 10-04-03 
999 f f |i 93e51c66-78ec-5533-9376-ab2e5bedfc6e  |s 42c13b52-ba94-5b55-a4b7-988a4f5b0a7c  |t 0 
952 f f |p Can Circulate  |a College of the Holy Cross  |b Main Campus  |c Science  |d Science Library  |t 0  |e QA10 .A52 1997  |h Other scheme  |i Book  |m 38400002361606