{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T22:04:07Z”，“时间戳”：1648937047414}，“出版商位置”：“查姆”，“参考计数”：28，“出版者”：“斯普林格国际出版公司”，“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_9“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“125-142”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”依赖逻辑复杂性的参数化视图“]，”prefix“：”10.1007“，”author“：[{”given“：”Juha“，”family“：”Kontinen“，”sequence“：”first“，“affiliation”：[]}，{“given”：“Arne”，“family”：“Meier”，“sequence”：“additional”，“affaliation”（从属关系）：[]neneneep，“doi”：“10.1137\/0608024”，“作者”：“S Arnborg”，“年份”：“1987年”，“非结构化”：“Arnborg，S.，Corneil，D.G.，Proskurowski，A.：在$$k$$-树中查找嵌入的复杂性。SIAM J.代数离散方法：“Bodlaender，H.L.：通过树宽的旅游指南。Acta Cybern.，11（1\u20132），1\u2013（1993）。https:\/\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/view\/3417”}，{“key”：“9_CR3”，“doi-asserted-by”：“publisher”，“unstructured”：“Bodlaender，H.L.：发现树宽。摘自：SOFSEM，计算机科学讲义第3381卷，第1\u201316页。斯普林格（2005）。https:\/\/doi.org\/10.1007\/978-3-540-30577-4_1“，”doi“：”10.1007\/9783-540-30577-4-1“}，{“key”：“9_CR4”，“doi-asserted-by”：“publisher”，“unstructured”：“参数化复杂性的基本原理。TCS.Springer，伦敦（2013）。https:\//doi.org\/10.10007\/978-4471-5559-1“，“doi”：“10.1007\/978-1-4471-5559-1”}，{“问题”：“4”，“密钥”：“9_CR5”，“doi-asserted-by”：“publisher“，”first page“：”31“，”DOI“：”10.1145\/2362355.2362359“，”volume“：“13”，”author“：”A Durand“，”year“：”2012“，”unstructured“：”Durand，A.，Kontinen，J.：依赖逻辑中的层次结构。ACM事务处理。计算。逻辑（TOCL）13（4），31（2012）。https:\/\/doi.org/10.1145\/236325355.2362359”，“期刊标题”：“ACM Trans。计算。Logic（TOCL）“}，{“key”：“9_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“Ebbinghaus，H.D.，Flum，J.：有限模型理论。In:Perspectives In Mathematical Logic。Springer（1995）。978-3-540-60149-4，https:\/\/doi.org\/10007\/978-3662-03182-7”，《doi》：“10.1007\/9798-3-662-0382-7”}ted-by“：”publisher“，”第一页“：“661”，“DOI”：“10.1007”，“volume”：“71”，“author”：“M Elberfeld”，“year”：“2014”，“unstructured”：“Elberfed，M.，Stockhusen，C.，Tantau，T.：关于参数化问题的空间和电路复杂性：类和完备性。《算法》71（3），661\u2013701（2014）。https:\/\/doi.org\/10.1007\/s00453-014-9944-y“，”journal-title“：”Algorithmica“}，{“key”：“9_CR8”，“doi-asserted-by”：“publisher”，“unstructured”：“参数化复杂性理论。TTCSAES.Springer，Heidelberg（2006）。https:\//doi.org\/10.10007\/3-540-29953-X”，“doi”：“10.1007\/3-400-29953-X”}，}“issue”：“1”，“key”：“9_CR9”，“doi-asserted-by”：“publisher”，“第一页“：”68“，”DOI“：”10.1016\/j.apal.2011.08.005“，”volume“：”163“，”author“：”P Galliani“，”year“：”2012“，”unstructured“：”GallianiP.：“团队语义中的包含和排除依赖：关于不完美信息的一些逻辑。Ann.纯粹应用。逻辑163（1），68\u201384（2012）。https:\/\/doi.org\/10.1016\/j.apal.2011.08.005“，”新闻标题“：”Ann.Pure Appl。Logic“}，{”key“：”9_CR10“，”doi-asserted-by“：”publisher“，”unstructured“：”Galliani，P.：关于强一阶依赖。摘自：依赖逻辑，第53\u201371页。斯普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-31803-5_4“，“doi”：“10.1007\/9783-319-31803-5_5”}，{“key”：“9_CR11”，“doi-asserted-by”：“publisher”，“unstructured”：“Galliani，P.，Hella，L.：包含逻辑和定点逻辑。收录：Rocca，S.R.D.（编辑）计算机科学逻辑2013（CSL 2013），莱布尼茨国际信息学论文集（LIPIcs）第23卷第281\u2013295页，德国达格斯图尔，2013年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。https:\/\/doi.org/10.4230\/LIPIcs。CSL.2013.281“，”DOI“：”10.4230\/LIPIcs。CSL.2013.281“｝，｛“key”：“9_CR12”，“doi asserted by”：“publisher”，“first page”：“2”，“doi”：“10.1016\/j.tcs.2012.10.033”，“volume”：“493”，“author”：“E Gr\u00e4del”，“year”：“2013”，“nonstructured”：“Gr\u00e4del，E.：不完美信息逻辑的模型检查游戏。Theor.Comput.Sci.493，2\u201314（2013）。https:\/\/doi.org/10.1016\/j.tcs.2012.10.033“，”新闻标题“：”Theor。计算。科学。“}，{”issue“：“2”，”key“：“9_CR13”，”doi-asserted-by“：”publisher“，”first page“：”399“，”doi“：”10.1007\/s11225-013-9479-2“，”volume“：：”101“，”author“：”E Gr\u00e4del“，“year”：“2013”，”unstructured“：”Gr\u200e4del，E.，V\u00e 4n\u00e4 nen，J.：依赖性和独立性。Studia Logica 101（2），399\u2013410（2013）https:\/\/doi.org\/10.1007\/s11225-013-9479-2“，”journal-title“：”Studia Logica“}，{”key“：”9_CR14“，”doi-asserted-by“：”publisher“，”unstructured“：”Hannula，M.，Kontinen，J.，Bussche，J.V.，Virtema，J.：真实计算和概率独立逻辑的描述性复杂性。摘自：LICS，pp.550\u2013563。ACM（2020年）。https:\/\/doi.org\/10.1145\/3373718.3394773“，”doi“：”10.1145\/33737018.339477“}，{“key”：“9_CR15”，“doi-asserted-by”：“publisher”，“unstructured”：“Hannula，M.，Kontine，J.，Virtema，J.和Vollmer，H.：团队语义中命题逻辑的复杂性。ACM Trans.Comput.Log.19（1），2:1\u20132:14（2018）。https:\//doi.org\/10.1145\/3157054“，”doi“：”10.1145\/3157054“}，{”issue“：”2“，”key“：”9_CR16“，”doi-asserted-by“：”publisher“，”first page“：“267”，”doi“：”10.1007\/s11225-013-9481-8“，“volume”：“101”，“author”：“J Kontine”，“year”：“2013”，“unstructured”：“Kontine，J.：无量词依赖逻辑公式的一致性和计算复杂性。Studia Logica 101（2），267\u2013291（2013）.https:\/\/doi.org\/10.1007\/s11225-013-9481-8“，”journal-title“：”Studia Logica“}，{“key”：“9_CR17”，“doi-asserted-by”：“publisher”，“unstructured”：“Libkin，L.：有限模型理论的元素。In:理论计算机科学中的文本。EATCS系列。Springer（2004）。https:\/\/doi.org\/10.10007\/978-3662-07003-1”，“doi”：“10.1007\/978-3662-0073-1”}，｛“issue”：“2”，“key”：“9_CR18”，“doi asserted by”：“publisher”，“first page”：“343”，“doi”：“10.1007\/s11225-013-9483-6”，“volume”：“101”，“author”：“P Lohmann”，“year”：“2013”，“nonstructured”：“Lohmann，P.，Vollmer，H.：模态依赖逻辑的复杂性结果。Stud.Logica 101（2），343\u2013366（2013）。https://doi.org/10.1007\/s11225-013-9483366（2013）。6英寸，“journal-title”：“Stud.Logica”}，{“key”：“9_CR19”，“doi-asserted-by”：“publisher”，“unstructured”：“L\u00fcck，M.：规范模型和模态团队逻辑的复杂性。Log.Methods Compute.Sci.15（2）（2019）。https:\/\/doi.org\/10.23638\/LMCS-15“doi-asserted-by”：“publisher”，“unstructured”：“Mahmood，Y.，Meier，A.：命题依赖逻辑中模型检验和可满足性的参数化复杂性。摘自：信息和知识系统基础-第11届国际研讨会，FoIKS 2020，17\u201321 2020年2月，德国多特蒙德，论文集，pp.157\u2013174（2020）.https:\/\/doi.org\/10.1007\/978-3-030-39951-1_10“，”doi“：”10.1007\/978-30-30951-1_10“}，{“key”：“9_CR21”，“unstructured”：“Mahmood，Y.，Virtema，J.：团队语义中命题逻辑的参数化复杂性。CoRR.arXiv:2105.14887“}”，{”key“：”9_CR22“，”doi-asserted-by“：”publisher“，”unstructure“：”Martin，B.：模型参数化的一阶模型检查问题。收录于：CiE，《计算机科学讲义》第5028卷，第417\u2013427页。施普林格（2008）。https:\/\/doi.org\/10.1007\/978-3-540-69407-6_45“，”doi“：”10.1007\/978-304-69407-6_45“}，{“key”：“9_CR23”，“doi-asserted-by”：“publisher”，“unstructured”：“Meier，A.，Reinbold，C.：穷人命题依赖逻辑的枚举复杂性。In:FoIKS，计算机科学讲稿第10833卷，第303\u2013321页。斯普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-90050-6_17“，”doi“：”10.1007\/9783-319-90050-6_17“}，{“key”：“9_CR24”，“unstructured”：“Papadimitriou，C.H.：计算复杂性（1994）.978-0-201-53082-7 25”}，“key“：”9_CR25“，”doi-asserted-by“：”publisher“，”unstructure“：”Robertson，N.，Seymour，P.D.：Graph minors.III.planar tree-width.J。梳子。理论Ser。B 36（1），49\u201364（1984）。https:\/\/doi.org\/10.016\/0095-8956（84）90013-3“，”doi“：”10.1016\/0005-8956（84）ISO90013-3“}，{“key”：“9_CR26”，“doi-asserted-by”：“publisher”，“unstructured”：“Samer，M.，Szeider，S.：固定参数跟踪性。收录于：可满足性手册，人工智能和应用前沿第185卷，第425\u2013454页。IOS出版社（2009）。https:\/\/doi.org\/10.3233\/978-1-58603-929-5-425“，”doi“：”10.3233\/978-1-58603-929-5-425“}，{“key”：“9_CR27”，“unstructured”：“V\u00e4n\u00e4-nen，J.A.：依赖逻辑-独立友好逻辑的新方法，伦敦数学学会学生课本第70卷。剑桥大学出版社（2007）。978-0-521-70015-3”}，“key“：”9_CR28“，”非结构化”：《Virtema，J.：有限变量依赖的方法：表达性和计算复杂性》。坦佩雷大学信息科学学院博士论文（2014）。978-951-44-9472-7“｝]，“容器标题”：[“计算机科学的逻辑基础”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“https:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-030-93100-1_9”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：{date-parts“：[[2021,12,27]]，“date-time”：“2021-12-27T00:03:36Z”，“timestamp”：1640563416000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-030-93100-1_9”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2021,12,16]}”，“ISBN”：[“9783030930998”，“9783030931001”]，“references-count”：28，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-93100-1_9“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-349“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2021,12,16]}，“assertion”：“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”：“同行评审信息（由会议组织者提供）”}}]}}