Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
Pub Date : 2010-01-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：