LEADER 02224nam  2200577   450 
001 9910788732103321
005 20170822144521.0
010   $a1-4704-0189-4
035   $a(CKB)3360000000464788
035   $a(EBL)3114361
035   $a(SSID)ssj0000888868
035   $a(PQKBManifestationID)11533781
035   $a(PQKBTitleCode)TC0000888868
035   $a(PQKBWorkID)10866993
035   $a(PQKB)10570963
035   $a(MiAaPQ)EBC3114361
035   $a(RPAM)3999530
035   $a(PPN)19541487X
035   $a(EXLCZ)993360000000464788
100   $a19961105h19971997  uy|            0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aDecision problems for equational theories of relation algebras /$fHajnal Andre?ka, Steven Givant, Istva?n Ne?meti
210  1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[1997]
210  4$dİ1997
215   $a1 online resource (146 p.)
225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vnumber 604
300   $a"March 1997, volume 126, number 604 (end of volume)."
311   $a0-8218-0595-9 
320   $aIncludes bibliographical references (pages 112-114) and indexes.
327   $a""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects""
410  0$aMemoirs of the American Mathematical Society ;$vno. 604.
606   $aRelation algebras
606   $aDecidability (Mathematical logic)
615  0$aRelation algebras.
615  0$aDecidability (Mathematical logic)
676   $a510 s
676   $a511.3/24
700   $aAndre?ka$b H.$0535092
702   $aGivant$b Steven R.
702   $aNe?meti$b I.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910788732103321
996   $aDecision problems for equational theories of relation algebras$93861762
997   $aUNINA