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

Fields of Logic and Computation III最新文献

筛选
英文 中文
Choiceless Computation and Symmetry 无选择的计算和对称
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_28
Benjamin Rossman
{"title":"Choiceless Computation and Symmetry","authors":"Benjamin Rossman","doi":"10.1007/978-3-642-15025-8_28","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_28","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"342 1","pages":"565-580"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86795286","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}
引用次数: 17
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics 时空的度量定理:从Urysohn问题到物理上有用的构造数学
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_23
V. Kreinovich
{"title":"Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics","authors":"V. Kreinovich","doi":"10.1007/978-3-642-15025-8_23","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_23","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"262 1","pages":"470-487"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81647953","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
On Complete Problems, Relativizations and Logics for Complexity Classes 论复杂性类的完全问题、相对性和逻辑性
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_11
A. Dawar
{"title":"On Complete Problems, Relativizations and Logics for Complexity Classes","authors":"A. Dawar","doi":"10.1007/978-3-642-15025-8_11","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_11","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"41 1","pages":"201-207"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79893703","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}
引用次数: 3
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi 存在不动点逻辑、全称量词和拓扑
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_6
A. Blass
{"title":"Existential Fixed-Point Logic, Universal Quantifiers, and Topoi","authors":"A. Blass","doi":"10.1007/978-3-642-15025-8_6","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_6","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"23 1","pages":"108-134"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74265381","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
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories 任意理论模型中规划格式的停止与等价
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_22
D. Kozen
{"title":"Halting and Equivalence of Program Schemes in Models of Arbitrary Theories","authors":"D. Kozen","doi":"10.1007/978-3-642-15025-8_22","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_22","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"1 1","pages":"463-469"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87606575","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
Yuri, Logic, and Computer Science 尤里，逻辑和计算机科学
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_1
A. Blass, N. Dershowitz, W. Reisig
{"title":"Yuri, Logic, and Computer Science","authors":"A. Blass, N. Dershowitz, W. Reisig","doi":"10.1007/978-3-642-15025-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_1","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"41 1","pages":"1-48"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77291615","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
Logics for Two Fragments beyond the Syllogistic Boundary 三段论边界外的两个片段逻辑
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_27
L. Moss
{"title":"Logics for Two Fragments beyond the Syllogistic Boundary","authors":"L. Moss","doi":"10.1007/978-3-642-15025-8_27","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_27","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"143 1","pages":"538-564"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75513903","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}
引用次数: 14
Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic 伊本·新浪分析:搜索证据。或者:抽象状态机作为逻辑历史的工具
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_18
W. Hodges
{"title":"Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic","authors":"W. Hodges","doi":"10.1007/978-3-642-15025-8_18","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_18","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"47 1","pages":"354-404"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85602134","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
Finding Reductions Automatically 自动查找减排量
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_10
Michael S. Crouch, N. Immerman, J. Eliot, B. Moss
{"title":"Finding Reductions Automatically","authors":"Michael S. Crouch, N. Immerman, J. Eliot, B. Moss","doi":"10.1007/978-3-642-15025-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_10","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"32 1","pages":"181-200"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87927974","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}
引用次数: 13
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey 二阶逻辑前缀类的模型检验问题综述
Fields of Logic and Computation III Pub Date : 2010-01-01 DOI: 10.1007/978-3-642-15025-8_13
Thomas Eiter, G. Gottlob, T. Schwentick
{"title":"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey","authors":"Thomas Eiter, G. Gottlob, T. Schwentick","doi":"10.1007/978-3-642-15025-8_13","DOIUrl":"https://doi.org/10.1007/978-3-642-15025-8_13","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"46 1","pages":"227-250"},"PeriodicalIF":0.0,"publicationDate":"2010-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91346169","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}
引用次数: 5
首页 上一页 下一页 尾页
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学术官方微信