发布求助
文献互助 智能选刊 最新文献

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science最新文献

筛选
英文 中文
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 第37届ACM/IEEE计算机科学逻辑研讨会，海法，以色列，2022年8月2 - 5日
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2022-01-01 DOI: 10.1145/3531130
{"title":"LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022","authors":"","doi":"10.1145/3531130","DOIUrl":"https://doi.org/10.1145/3531130","url":null,"abstract":"","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"7 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85222613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020 第35届ACM/IEEE计算机科学逻辑研讨会，德国萨尔布尔<e:2>肯，2020年7月8-11日
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2020-01-01 DOI: 10.1145/3373718
{"title":"LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020","authors":"","doi":"10.1145/3373718","DOIUrl":"https://doi.org/10.1145/3373718","url":null,"abstract":"","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"61 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83140076","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Local normal forms and their use in algorithmic meta theorems (Invited Talk) 局部范式及其在算法元定理中的应用(特邀演讲)
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2019-06-24 DOI: 10.1109/LICS.2019.8785748
Nicole Schweikardt
{"title":"Local normal forms and their use in algorithmic meta theorems (Invited Talk)","authors":"Nicole Schweikardt","doi":"10.1109/LICS.2019.8785748","DOIUrl":"https://doi.org/10.1109/LICS.2019.8785748","url":null,"abstract":"This invited talk provides a personal perspective of recent developments concerning local normal forms and their use in algorithmic meta theorems.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"7 1","pages":"1-3"},"PeriodicalIF":0.0,"publicationDate":"2019-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81809929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A short story of the CSP dichotomy conjecture 一个关于CSP二分法猜想的小故事
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2019-06-24 DOI: 10.1109/LICS.2019.8785678
A. Bulatov
{"title":"A short story of the CSP dichotomy conjecture","authors":"A. Bulatov","doi":"10.1109/LICS.2019.8785678","DOIUrl":"https://doi.org/10.1109/LICS.2019.8785678","url":null,"abstract":"It has been observed long time ago that ‘natural’ computational problems tend to be complete in ‘natural’ complexity classes such as NL, P, NP, or PSPACE. Although Ladner in 1975 proved that if $mathrm{P}neq mathrm{NP}$ then there are infinitely many complexity classes between them, all the examples of such intermediate problems are based on diagonalization constructions and are very artificial. Since the seminal work by Feder and Vardi [8] this phenomenon is known as complexity dichotomy (for P and NP), see also Valiant's work [14] in the context of counting problems. Concerted efforts have been made to make this observation more precise, and since the concept of a ‘natural’ problem is somewhat ambiguous, a possible research direction is to pursue dichotomy results for wide classes of problems. The Constraint Satisfaction problem (CSP) is one of such classes.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"90 1","pages":"1"},"PeriodicalIF":0.0,"publicationDate":"2019-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90663687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
LICS 2017 foreword LICS 2017前言
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2017-06-01 DOI: 10.1109/LICS.2017.8005058
J. Ouaknine
{"title":"LICS 2017 foreword","authors":"J. Ouaknine","doi":"10.1109/LICS.2017.8005058","DOIUrl":"https://doi.org/10.1109/LICS.2017.8005058","url":null,"abstract":"This volume contains the proceedings of the 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), held at Reykjavik University in Iceland from 20 to 23 June 2017. LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic. In addition to the main symposium, seven workshops were co-located with LICS 2017: • INFINITY: Verification of Infinite-State Systems • LearnAut: Learning and Automata • LCC: Logic and Computational Complexit • LMW: Logic Mentoring Workshop • LOLA: Syntax and Semantics of Low-Level Languages • Metafinite model theory and definability and complexity of numeric graph parameters • WiL: Women in Logic","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"30 1","pages":"ii-iv"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73828473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Backward Induction in Games of Perfect Information 完全信息博弈中的逆向归纳法
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2012-06-25 DOI: 10.1109/LICS.2012.8
R. Aumann
{"title":"Backward Induction in Games of Perfect Information","authors":"R. Aumann","doi":"10.1109/LICS.2012.8","DOIUrl":"https://doi.org/10.1109/LICS.2012.8","url":null,"abstract":"Summary form only given. One of the areas of Game Theory that are of most interest to Computer Scientists, and in which Formal Logic is most heavily used, is that of Games of Perfect Information (like Chess or Checkers). Of central interest in this connectioOne of the areas of Game Theory that are of most interest to Computer Scientists, and in which Formal Logic is most heavily used, is that of Games of Perfect Information (like Chess or Checkers). Of central interest in this connection is the Backward Induction algorithm, which has generated a good deal of controversy, and with it, a large literature. We will review some of this literature, culminating with an as yet unpublished result of Itai Arieli and the speaker.n is the Backward Induction algorithm, which has generated a good deal of controversy, and with it, a large literature. We will review some of this literature, culminating with an as yet unpublished result of Itai Arieli and the speaker.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"125 1","pages":"1"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80205355","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Where First-Order and Monadic Second-Order Logic Coincide 一阶逻辑和一元二阶逻辑在哪里重合
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2012-06-01 DOI: 10.1109/LICS.2012.37
Michael Elberfeld, Martin Grohe, Till Tantau
{"title":"Where First-Order and Monadic Second-Order Logic Coincide","authors":"Michael Elberfeld, Martin Grohe, Till Tantau","doi":"10.1109/LICS.2012.37","DOIUrl":"https://doi.org/10.1109/LICS.2012.37","url":null,"abstract":"We study on which classes of graphs first-order logic (FO) and monadic second-order logic (MSO) have the same expressive power. We show that for each class of graphs that is closed under taking subgraphs, FO and MSO have the same expressive power on the class if, and only if, it has bounded tree depth. Tree depth is a graph invariant that measures the similarity of a graph to a star in a similar way that tree width measures the similarity of a graph to a tree. For classes just closed under taking induced subgraphs, we show an analogous result for guarded second-order logic (GSO), the variant of MSO that not only allows quantification over vertex sets but also over edge sets. A key tool in our proof is a Feferman-Vaught-type theorem that is constructive and still works for unbounded partitions.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"70 1","pages":"265-274"},"PeriodicalIF":0.0,"publicationDate":"2012-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79172182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Deciding Definability in FO2(<) (or XPath) on Trees 决定树的FO2(<)(或XPath)中的可定义性
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2010-07-11 DOI: 10.1109/LICS.2010.17
Thomas Place, L. Segoufin
{"title":"Deciding Definability in FO2(<) (or XPath) on Trees","authors":"Thomas Place, L. Segoufin","doi":"10.1109/LICS.2010.17","DOIUrl":"https://doi.org/10.1109/LICS.2010.17","url":null,"abstract":"We prove that it is decidable whether a regular unranked tree language is definable in FO2(<h,<;v). By FO2(<h,<v) we refer to the two variable fragment of first order logic built from the descendant and following sibling predicates. In terms of expressive power it corresponds to a fragment of the navigational core of XPath that contains modalities for going up to some ancestor, down to some descendant, left to some preceding sibling, and right to some following sibling. We also investigate definability in some other fragments of XPath.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"48 5 1","pages":"253-262"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90730119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Separation with Streams in the lambdaµ-calculus 在λ微演算中与流分离
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2005-06-26 DOI: 10.1109/LICS.2005.48
A. Saurin
{"title":"Separation with Streams in the lambdaµ-calculus","authors":"A. Saurin","doi":"10.1109/LICS.2005.48","DOIUrl":"https://doi.org/10.1109/LICS.2005.48","url":null,"abstract":"The /spl lambda//spl mu/-calculus is an extension of the /spl lambda/-calculus introduced in 1992 by Parigot (M. Parigot, 1992) in order to generalize the Curry-Howard isomorphism to classical logic. Two versions of the calculus are usually considered in the literature: Parigot's original syntax and an alternative syntax introduced by de Groote. In 2001, David and Py (R. David, 2001) proved that the Separation Property (also referred to as Bohm theorem) fails for Parigot's /spl lambda//spl mu/-calculus. By analyzing David & Py's result, we exhibit an extension of Parigot's /spl lambda//spl mu/-calculus, the /spl Lambda//spl mu/-calculus, for which the Separation Property holds and which is built as an intermediate language between Parigot's and de Groote's /spl lambda//spl mu/-calculi. We prove the theorem and describe how /spl Lambda//spl mu/-calculus can be considered as a calculus of terms and streams. We then illustrate Separation in showing how in /spl Lambda//spl mu/-calculus it is possible to separate the counter-example used by David & Py.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"45 1","pages":"356-365"},"PeriodicalIF":0.0,"publicationDate":"2005-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89194992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
On locality and uniform reduction 关于局部性和均匀约简
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science Pub Date : 2005-06-26 DOI: 10.1109/LICS.2005.32
H. Niemisto
{"title":"On locality and uniform reduction","authors":"H. Niemisto","doi":"10.1109/LICS.2005.32","DOIUrl":"https://doi.org/10.1109/LICS.2005.32","url":null,"abstract":"Uniform reduction for pairs originates from abstract logic but it has not been studied much in the context of finite model theory. The paper demonstrates its relationship to locality. The first part of the paper is motivated by the question when first-order logic extended with quantifiers is Hanf-local. Two properties, tolerant Hanf-locality and separable Hanf-locality are defined, both of which ensure this if all quantifiers in question have the property. It is shown that all regular Hanf-local logics not tolerantly Hanf-local have weak version of uniform reduction for pairs. In the rest of the paper, relationship between different forms of locality, regularity and uniform reduction is studied in the class of finite directed trees.","PeriodicalId":6322,"journal":{"name":"[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science","volume":"80 1","pages":"41-50"},"PeriodicalIF":0.0,"publicationDate":"2005-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84101765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信