Decision problems for equational theories of relation algebras /

Decision problems for equational theories of relation algebras / / Hajnal Andreka, Steven Givant, Istvan Nemeti.

Saved in:
Bibliographic Details
Superior document:Memoirs of the American Mathematical Society, number 604
VerfasserIn:
Andreka, H.,
Givant, Steven R.,
Nemeti, I.,
TeilnehmendeR:
Givant, Steven R.,
Nemeti, I.,
Place / Publishing House:Providence, Rhode Island : : American Mathematical Society,, [1997]
1997
Year of Publication:1997
Language:English
Series:Memoirs of the American Mathematical Society ; no. 604.
Online Access:
Physical Description:1 online resource (146 pages) :; illustrations.
Notes:"March 1997, volume 126, number 604 (end of volume)."
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003114361
ctrlnum (MiAaPQ)5003114361
(Au-PeEL)EBL3114361
(CaPaEBR)ebr11041139
(OCoLC)922981633
collection bib_alma
record_format marc
spelling Andreka, H., author.
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti.
Providence, Rhode Island : American Mathematical Society, [1997]
1997
1 online resource (146 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Memoirs of the American Mathematical Society, 0065-9266 ; number 604
"March 1997, volume 126, number 604 (end of volume)."
Includes bibliographical references (pages 112-114) and indexes.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Relation algebras.
Decidability (Mathematical logic)
Electronic books.
Givant, Steven R., author.
Nemeti, I., author.
Print version: Andreka, H. Decision problems for equational theories of relation algebras. Providence, Rhode Island : American Mathematical Society, [1997] xiv, 126 pages ; 26 cm Memoirs of the American Mathematical Society ; no. 604 9780821805954
ProQuest (Firm)
Memoirs of the American Mathematical Society ; no. 604.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3114361 Click to View
language English
format eBook
author Andreka, H.,
Givant, Steven R.,
Nemeti, I.,
spellingShingle Andreka, H.,
Givant, Steven R.,
Nemeti, I.,
Decision problems for equational theories of relation algebras /
Memoirs of the American Mathematical Society,
author_facet Andreka, H.,
Givant, Steven R.,
Nemeti, I.,
Givant, Steven R.,
Nemeti, I.,
author_variant h a ha
s r g sr srg
i n in
author_role VerfasserIn
VerfasserIn
VerfasserIn
author2 Givant, Steven R.,
Nemeti, I.,
author2_role TeilnehmendeR
TeilnehmendeR
author_sort Andreka, H.,
title Decision problems for equational theories of relation algebras /
title_full Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti.
title_fullStr Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti.
title_full_unstemmed Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti.
title_auth Decision problems for equational theories of relation algebras /
title_new Decision problems for equational theories of relation algebras /
title_sort decision problems for equational theories of relation algebras /
series Memoirs of the American Mathematical Society,
series2 Memoirs of the American Mathematical Society,
publisher American Mathematical Society,
publishDate 1997
physical 1 online resource (146 pages) : illustrations.
isbn 9781470401894 (e-book)
9780821805954
issn 0065-9266 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA10
callnumber-sort QA 210 A53 41997
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3114361
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 510 - Mathematics
511 - General principles of mathematics
dewey-full 510S
511.3/24
dewey-sort 3510 S
dewey-raw 510 s
511.3/24
dewey-search 510 s
511.3/24
oclc_num 922981633
work_keys_str_mv AT andrekah decisionproblemsforequationaltheoriesofrelationalgebras
AT givantstevenr decisionproblemsforequationaltheoriesofrelationalgebras
AT nemetii decisionproblemsforequationaltheoriesofrelationalgebras
status_str n
ids_txt_mv (MiAaPQ)5003114361
(Au-PeEL)EBL3114361
(CaPaEBR)ebr11041139
(OCoLC)922981633
hierarchy_parent_title Memoirs of the American Mathematical Society, number 604
hierarchy_sequence no. 604.
is_hierarchy_title Decision problems for equational theories of relation algebras /
container_title Memoirs of the American Mathematical Society, number 604
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1792330847823593472
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02172nam a2200481 i 4500</leader><controlfield tag="001">5003114361</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200917021826.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">961105t19971997riua ob 001 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0821805959 (pbk. : acid-free paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821805954</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470401894 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003114361</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3114361</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11041139</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)922981633</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA10</subfield><subfield code="b">.A53 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510 s</subfield><subfield code="a">511.3/24</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andreka, H.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decision problems for equational theories of relation algebras /</subfield><subfield code="c">Hajnal Andreka, Steven Givant, Istvan Nemeti.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">[1997]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (146 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Memoirs of the American Mathematical Society,</subfield><subfield code="x">0065-9266 ;</subfield><subfield code="v">number 604</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"March 1997, volume 126, number 604 (end of volume)."</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 112-114) and indexes.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Relation algebras.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Decidability (Mathematical logic)</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Givant, Steven R.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nemeti, I.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Andreka, H.</subfield><subfield code="t">Decision problems for equational theories of relation algebras.</subfield><subfield code="d">Providence, Rhode Island : American Mathematical Society, [1997]</subfield><subfield code="h">xiv, 126 pages ; 26 cm</subfield><subfield code="k">Memoirs of the American Mathematical Society ; no. 604</subfield><subfield code="z">9780821805954</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society ;</subfield><subfield code="v">no. 604.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3114361</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items