{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T05:49:15Z”，“时间戳”：1649137755193}，“出版商位置”：“查姆”，“参考计数”：30，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]，“日期-时间”：“2011-16T00:00:00Z“，”timestamp“：1639612800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}16]]，“日期时间”：“2021-12-16T00:00:00Z”，“时间戳”：1639612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-030-93100-1_17“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“timestamp”：1639609346000}，“page”：“266-280”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“关系代数的约简：公理化性和有限可表示性的方面”]，“prefix”：“10.1007”，“author”：[{“ORCID”：“http://\/orcid.org\/00000-0002-6180-4323”，“authenticated-orcid”：false，“given”：“Daniel”，“family”：“Rogozin”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]]}，“reference”：[{“issue”：“1”，“doi”：“10.1007\/BF01066355”，“卷”：“3”，“作者”：“H Andr\u00e9ka”，“year”：“1994”，“unstructured”：“Andr\u0019ka，H.，Mikul\u00e1s，S.：Lambek演算及其关系语义：完整性和不完整性。J.Logic Lang.Inform.3（1），1\u201337（1994）”，“journal title”：“J.Logic-Lang.Inform.”}，{“issue”：“1\u2013”，“key”：“17_CR2”，“doi-asserted-by”：“publisher”，“first page”：”7“doi”“”：“10.1007\/s00012-011-0142-3”，“volume”：“66”，“author”：“H Andr\u00e9ka”，“year”：“2011”，“unstructured”：“Andr\u0011-0142-3，H.，Mikul\u00e1s，S.：二元关系正代数的公理化性。代数Univers.66（1\u20132），7（2011）”，“journal-title”：“代数Univers.”}，{“issue”：“1”，“key”：”17_CR3“doi-asserted-by”：“publisher”，“first page”：“27”，“DOI”：“10.1016\/0022-4049（93）90169-T”，“volume”：“85”，“author”：“C Brown”，“year”：“1993”，“unstructured”：“Brown，C.，Gurr，D.：量子数的表示定理。J.Pure Appl.Algebra 85（1），27\u201342（1993）”，“journal-title”：“J.Pure-Appl.Algerbra”}，{“key”：”17_CR4“，”DOI-asserted-by“：”crossref“，”unstructure“：“Davey，B.A.，Priestley，H.A.：《格与秩序导论》，剑桥大学出版社，剑桥（2002）”，“DOI”：“10.1017\/CBO9780511809088”}，{“key”：“17_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Eklof，P.C.：代数学家的超产品。In:Studies In Logic and the Foundations of Mathematics，vol.90，pp.105\u2013137。Elsevier（1977）“，“DOI”：“10.1016\/S0049-237X（08）71099-1”}，{“key”：“17_CR6”，“unstructured”：“Galatos，N.，Jipsen，P.，Kowalski，T.，Ono，H.：剩余格：亚结构逻辑的代数一瞥。Elsevierd，Amsterdam（2007）”}、{“key”：“2006年”，“非结构化”：“Goldblatt，R.：量子数中非交换逻辑的Kripke-Joyal语义。Adv.Modal Logic 6，209\u2013225（2006）“，“journal-title”：“Adv.Modal-Logic”}，{“key”：“17_CR8”，“doi-asserted-by”：“publisher”，“unstructured”：“Hirsch，R.，Semrl，J.：普通组合关系半群中的恶魔格和半格。收录于：2021年第36届ACM/IEEE计算机科学逻辑研讨会（LICS），第1\u201310页。IEEE计算机协会，美国加利福尼亚州洛斯阿拉米托斯（2021年7月）。https:\/\/doi.org\/10.109\/LICS52264.2021.9470509，https:\//doi.ieeecomputersociety.org\/10.1109\/LICS62264.2021.94700509“，”doi“：”10.1109\/LICS2264.2021.4470509“}，{“key”：“17_CR9”，“unstructured”：“Hirsch，R.：关系代数约简的有限表示属性。手稿，2004年9月”}，}“issue”：“2”，“key“：”17_CR10“，”doi-asserted-by“：”publisher“，”first page“：”159“，“doi”：“10.1093\/jigpal\/jzi012”，“volume”：“13”，“author”：“R Hirsch”，“year”：“2005”，“unstructured”：“Hirsch，R.：可表示有序幺半群的类具有递归可枚举的通用公理化，但它不是有限公理化的。Logic J.IGPL 13（2），159\u2013171（2005）“，”journal-title“：”Logic J.IGPL“}，{”key“：”17_CR11“，”doi-asserted-by“：”publisher“，”first page“：“225”，“doi”：“10.2307 \/2275740”，“volume”：“62”，“author”：“R Hirsch”，“year”：“1997”，“unstructured”：“Hirsch，R.，Hodkinson，I.：代数逻辑中逐步构建表示法。符号逻辑62，225\u2013279（1997）“，”journal-title“：”J.符号逻辑“}，{“issue”：“4”，“key”：“17_CR12”，“doi-asserted-by”：“publisher”，“first-page”：“1403”，“doi”：“10.1090 \/S0002-9947-99-02264-3”，”volume“：”353“，”author“：”R Hirsch“，”year“：”2001“，”unstructured“：”Hirsch，R.，Hodkinson，I.：有限关系代数的可表示性是不可判定的。事务处理。美国数学。Soc.353（4），1403\u20131425（2001）“，“期刊标题”：“翻译。美国数学。Soc.“｝，｛“key”：“17_CR13”，“unstructured”：“Hirsch，R.，Hodkinson，I.：Games.Elsevier，Amsterdam（2002）”｝，｛“issue”：“3”，“key”：“17_CR14”，“doi asserted by”：“publisher”，“first page”：“333”，“doi”：“10.1007\\s0012-007-2055-8”，“volume”：“57”，“author”：“R Hirsch”，“year”：“2007”，“unstructured”：“Hirsch，R.，Mikul\u00e1s，S.：可表示的半格序拟群。代数大学。57（3），333\u2013370（2007）”，“期刊标题”：“代数的普遍性。“}，{”issue“：”3“，”key“：”17_CR15“，”doi-asserted-by“：”publisher“，”first-page“：”266“，”doi“：”10.1016\/j.jal.2013.04.002“，”volume“：“11”，”author“：”R Hirsch“，”year“：”2013“，”unstructured“：”Hirsch，R.，Mikul\u00e1s，S.：有序域代数。j.Appl.Logic 11（3），266\u2013271（2013）“，”journal-title“：“j.应用逻辑”}，{“问题”：“2”，“键”：“17_CR16”，“doi-asserted-by“：”publisher“，”first-pages“：”1“，”doi“：”10.1007 \/s00012-021-00718-5“，”volume“：”82“，”author“：”R Hirsch“，”year“：”2021“，“unstructured”：“Hirsch，R.，\u0160emrl，J.：具有恶魔加细的半群的有限表示性。代数大学。82（2），2013年1月14日（2021年）。https:\/\/doi.org/10.1007\/s00012-021-00718-5”，“期刊标题”：“代数世界。“}，{”key“：”17_CR17“，”unstructured“：”Hodges，W.：《模型理论》，剑桥大学出版社，剑桥（1993）Hodkinson，I.，Mikul\u00e1s，S.：关系代数化简的公理化性。代数大学。43（2\u20133），127\u2013156（2000）“，“新闻标题”：“代数大学。“}，{”issue“：”11“，”key“：”17_CR19“，”doi-asserted-by“：”publisher“，”first-page“：”4579“，”doi“：”10.1090\/S0002-9947-04-03743-2“，“volume”：”357“，”author“：”I Hodkinson“，”year“：”2005“，”unstructured“：”Hodkinsen，I.，Venema，Y.：没有规范公理化的规范变体。Trans.Am.Math.Soc.357（11），4579\u20134605（2005）“，“新闻标题”：”事务处理。美国数学。Soc.“}，{“key”：“17_CR20”，“doi-asserted-by”：“publisher”，“first page”：”891“，“doi”：“10.2307\/2372123”，“volume”：：“73”，“author”：“B J\u00f6nsson”，“year”：“1951”，“unstructured”：“J\u200f6nssen，B.，Tarski，A.：带运算符的布尔代数，i，ii.Am.J.Math.73，891\u2013939（1951）”，“journal-title”：“Am.J.数学“}，{“问题”：“3”，“键”：“17_CR21”，“doi-asserted-by“：”publisher“，”first page“：”154“，“doi”：“10.1080\/00029890.1958.11989160”，“volume”：“65”，“author”：“J Lambek”，“year”：“1958”，“unstructured”：“Lambek，J.：句子结构的数学。美国数学。周一。65（3），154\u2013170（1958）“，“新闻标题”：“美国数学。周一。“}，{”key“：”17_CR22“，”doi-asserted-by“：”publisher“，”first-page“：”707“，”doi“：”10.2307\/1969375“，”volume“：“51”，”author“：”RC Lyndon“，”year“：”1950“，“unstructured”：“Lyndon，R.C.：关系代数的表示。Ann.Math.51，707\u2013729（1950）“，”journal-title“：”Ann.Math“}”，{“issue”：“06”，“key”：“17”_CR23“，”doi-asserted-by“：”publisher“，”第一页“：”1199“，”DOI“：”10.1142\/S0218196716500508“，”卷“：”26“，”作者“：”B McLean“，”年份“：”2016“，”非结构化“：”McLean，B.，Mikul\u00e1s，S.：组成、交集、域和范围的有限表示属性。国际代数计算杂志。26（06），1199\u20131215（2016）“，“期刊标题”：“国际代数计算杂志”。“}，{”issue“：”3“，”key“：”17_CR24“，”doi-asserted-by“：”publisher“，”first page“：“207”，”doi“：”10.1307\/mmj\/1028999131“，“volume”：“11”，“author”：“D Monk”，“year”：“1964”，“unstructured”：“Monk，D.：关于可表示关系代数。Mich.Math.J.11“key”：“17_CR25”，“非结构化”：“C.J.穆尔维：与供应商Rend。循环。Mat.Palermo II 12，99\u2013104（1986）“}，{“key”：“17_CR26”，“unstructured”：“Rosenthal，K.I.：Quantales及其应用，第234卷，Longman Scientific and Technology（1990）”}，“key“：”17_CR27“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”483“，“doi”：“10.1007\/978-3030-88701-8_29”，“volume-title”：”计算机科学中的关系和代数方法”，“作者”：“J\u0160emrl”，“年份”：“2021”，“非结构化”：“u0160emrl，J.：域范围半群和有限表示。收录：Fahrenberg，U.，Gehrke，M.，Santocanale，L.，Winter，M.（编辑）RAMiCS 2021。LNCS，第13027卷，第483\u2013498页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-88701-8_29“}，{”issue“：”2“，”key“：”17_CR28“，”doi-asserted-by“：”publisher“，”first page“：“143”，”doi“：”10.1007\/s00012-007-2033-1“，“volume”：“57”，“author”：“M Theunissen”，“year”：“2007”，“unstructured”：“Theunisseen，M.，Venema，Y.：MacNeille完成格扩张。代数大学。57（2），143\u2013193（2007）“，”journal-title“：”代数大学。“}，{”issue“：”2“，”key“：”17_CR29“，”doi-asserted-by“：”publisher“，”first page“：“185”，”doi“：”10.1007\/s000120050047“，”volume“：：”38“，”author“：”Y Venema“，”year“：”1997“，”unstructured“：”Venema，Y.：原子结构和Sahlqvist方程组。代数大学.38（2），185\u2013199（1997）“，”journal-title“：”代数大学“}”，{“key“：”17_CR30“，”非结构化“：”Zaretskii，K.：用二元关系表示有序半群。Izvestiya Vysshikh Uchebnykh Zavedenii公司。Matematika 6，48\u201350（1959）“}]，“container-title”：[“计算机科学的逻辑基础”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10007\/978-3030-93100-1_17”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2021,12,27]]，“date-time”：“2021-12-27T00:04:41Z”，“timestamp”：1640563481000}，“score”：1，“resource”：{（主要）：{”URL“：”https:\/\/link.springer.com\/10.1007\/978-3030-93100-1_17“}，”副标题：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2021,12,16]}，，“ISBN”：[“9797BN”83030930998“，”9783030931001“]，”references-count“：30，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-030-93100-1_17“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”价值“：”1611-33049“，”类型：“电子”}]，”主题“：[]，”发布“：{”日期段“：[2021,12,16]}，“断言”：“2021年12月16日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”group“：{”name“：”ChapterHistory“，”label“：”Ch章历史“}}，{”value“：会议名称“，”组“：{“Name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“佛罗里达州迪尔菲尔德海滩”，“order”：3，“名称”：“Conference_city”，“标签”：“会展城市”，“group”：{名称“：”ConferenceInformo“，”标签“：”会议信息“}}、{“值”：“美国”，“订单”：4，“名称“Conference_country”，“label”：”会议国家“，”小组“：{Name”：ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”2022“，”order“：5，”name“：”Conference_year“，”标签“：”会议年份“，”group“：会议信息“}}，{“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“Conference end date”，“group”：{“name”:“ConferenceInfo”，”label“：“会议信息”}}值“：”https:\/\/lfcs.ws.gc.cuny.edu\/“，”order“：11，”name“：”conference_url“，”label“：”conference url“，”group“：{”name“:”ConferenceInfo“，”标签“：”会议信息“}}，{”value“：”Single-blind“，”订单“：1，”name”：“type”，“label”：“type”，“group”：{“name”：”ConfEventPeerReviewInformation“，”table“：”同行评审信息（由会议组织者提供）“}}，｛“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“35”，“order”：3，“name”：“number_of_submissions_sent_for_preview”，“label”：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“23”，“order”：4，“name”:“Number_of_full_papers_accepted”，“标签”：“接受的全文数”：“同行评议信息（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“已接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“tabel”：”同行评议资讯（由会议主办方提供）“}}}、{“value”：“66%-该值由等式“接受的全文数”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评议信息（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）：“average_number_of_paers_per_Review”，“label”：“每位审阅者的平均论文数”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”｝｝，｛“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}