{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,4]]，“日期-时间”：“2024-09-04T12:58:42Z”，“时间戳”：17254722378}，“引用-计数”：0，“发布者”：“通信科学指导中心（CCSD）”：“2006-09-27T00:00:00Z”，“timestamp”：1159315200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”阿尔弗雷德·塔斯基（Alfred Tarski）对计算机科学的影响是间接的，但在许多方面意义重大，在某些方面是根本性的。\本文综述了塔斯基在代数和几何决策过程、量词消除方法、形式语言语义、模型论保存定理和代数逻辑方面的工作；每一种方法都与计算机科学有着不同的联系<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（3:6）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:28:28Z“，”timestamp“：1164274108000}，”source“：“：[{”given“：”Solomon“，”family“：”Feferman“，”sequence“：”first“，”affiliation“：[]}]，”member“：”25203“，”published-online“：{”date-parts“：[[2006,9,27]]}，”container-title“：[”Logical Methods in Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/lmcs.eposciences.org\/2248\/pdf“，“content-type”：“application\.pdf”，“content-v”版本“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\/\/lmcs.episciences.org\/2248\/pdf“，”content-type“：”unspecified“，”内容-版本“：”vor“，”intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:30:38Z”，“时间戳”：1681243838000}，“分数”：1，“资源”：{“主要”：{URL“：”https:\/\/lmcs.episciences.org\/2248“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2006,9,27]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.2168\/lmcs-2（3:6）2006”，“relation”：{“is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/0608062”，“asses”rted-by“：”subject“}，{“id-type”：“doi”，“id”：“10.48550\/arxiv.cs\/0608062”，“asserted-by”：“subject”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”：[{“value”：“1860-5.974”，“type”:“electronic”}]，“subject”：【】，“published”：{“date-parts”：【2006，9，27】】}}