02224nam 2200577 450 991081240800332120170822144521.01-4704-0189-4(CKB)3360000000464788(EBL)3114361(SSID)ssj0000888868(PQKBManifestationID)11533781(PQKBTitleCode)TC0000888868(PQKBWorkID)10866993(PQKB)10570963(MiAaPQ)EBC3114361(RPAM)3999530(PPN)19541487X(EXLCZ)99336000000046478819961105h19971997 uy| 0engur|n|---|||||txtccrDecision problems for equational theories of relation algebras /Hajnal Andréka, Steven Givant, István NémetiProvidence, Rhode Island :American Mathematical Society,[1997]©19971 online resource (146 p.)Memoirs of the American Mathematical Society,0065-9266 ;number 604"March 1997, volume 126, number 604 (end of volume)."0-8218-0595-9 Includes bibliographical references (pages 112-114) and indexes.""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""Memoirs of the American Mathematical Society ;no. 604.Relation algebrasDecidability (Mathematical logic)Relation algebras.Decidability (Mathematical logic)510 s511.3/24Andréka H.535092Givant Steven R.Németi I.MiAaPQMiAaPQMiAaPQBOOK9910812408003321Decision problems for equational theories of relation algebras4082153UNINA