关于有限模型理论的思考

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) Pub Date : 2007-07-10 DOI:10.1109/LICS.2007.39

Phokion G. Kolaitis

{"title":"关于有限模型理论的思考","authors":"Phokion G. Kolaitis","doi":"10.1109/LICS.2007.39","DOIUrl":null,"url":null,"abstract":"Advances in finite model theory have appeared in LICS proceedings since the very beginning of the LICS Symposium. The goal of this paper is to reflect on finite model theory by highlighting some of its successes, examining obstacles that were encountered, and discussing some open problems that have stubbornly resisted solution.","PeriodicalId":137827,"journal":{"name":"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Reflections on Finite Model Theory\",\"authors\":\"Phokion G. Kolaitis\",\"doi\":\"10.1109/LICS.2007.39\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Advances in finite model theory have appeared in LICS proceedings since the very beginning of the LICS Symposium. The goal of this paper is to reflect on finite model theory by highlighting some of its successes, examining obstacles that were encountered, and discussing some open problems that have stubbornly resisted solution.\",\"PeriodicalId\":137827,\"journal\":{\"name\":\"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LICS.2007.39\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LICS.2007.39","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

自LICS研讨会开始以来，有限模型理论的进展已经出现在LICS会议记录中。本文的目的是通过强调有限模型理论的一些成功，检查遇到的障碍，并讨论一些顽固地抵制解决的开放问题来反思有限模型理论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Reflections on Finite Model Theory

Advances in finite model theory have appeared in LICS proceedings since the very beginning of the LICS Symposium. The goal of this paper is to reflect on finite model theory by highlighting some of its successes, examining obstacles that were encountered, and discussing some open problems that have stubbornly resisted solution.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

自引率

0.00%

发文量