Pub Date : 2020-02-10DOI: 10.1007/978-3-030-48006-6_7
A. Dahan, A. Dawar
{"title":"Relativization of Gurevich's Conjectures","authors":"A. Dahan, A. Dawar","doi":"10.1007/978-3-030-48006-6_7","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_7","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"82 1","pages":"95-104"},"PeriodicalIF":0.0,"publicationDate":"2020-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82677276","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_13
O. Kosheleva, V. Kreinovich
{"title":"Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup","authors":"O. Kosheleva, V. Kreinovich","doi":"10.1007/978-3-030-48006-6_13","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_13","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"97 1","pages":"179-189"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89675590","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_14
V. Lifschitz, Patrick Lühne, Torsten Schaub
{"title":"Towards Verifying Logic Programs in the Input Language of clingo","authors":"V. Lifschitz, Patrick Lühne, Torsten Schaub","doi":"10.1007/978-3-030-48006-6_14","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_14","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"27 1","pages":"190-209"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85715184","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_15
D. Mundici
{"title":"Computing on Lattice-Ordered Abelian Groups","authors":"D. Mundici","doi":"10.1007/978-3-030-48006-6_15","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_15","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"31 1","pages":"210-225"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87802696","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_9
A. Dawar, E. Grädel, Matthias Hoelzel
{"title":"Convergence and Nonconvergence Laws for Random Expansions of Product Structures","authors":"A. Dawar, E. Grädel, Matthias Hoelzel","doi":"10.1007/978-3-030-48006-6_9","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_9","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"8 1","pages":"118-132"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85829806","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_6
B. Courcelle
{"title":"Betweenness in Order-Theoretic Trees","authors":"B. Courcelle","doi":"10.1007/978-3-030-48006-6_6","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_6","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"1 1","pages":"79-94"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82846780","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_18
A. Shen
{"title":"Randomness Tests: Theory and Practice","authors":"A. Shen","doi":"10.1007/978-3-030-48006-6_18","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_18","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"263 1","pages":"258-290"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77150892","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_16
A. Rabinovich
{"title":"The Expressive Power of Temporal and First-Order Metric Logics","authors":"A. Rabinovich","doi":"10.1007/978-3-030-48006-6_16","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_16","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"32 1","pages":"226-246"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83697232","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 : 2020-01-01DOI: 10.1007/978-3-030-48006-6_12
N. V. Kitov, Mikhail Volkov
{"title":"Identities of the Kauffman Monoid K4 and of the Jones Monoid J4","authors":"N. V. Kitov, Mikhail Volkov","doi":"10.1007/978-3-030-48006-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_12","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"69 11","pages":"156-178"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72602959","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
扫码关注我们
求助内容：
应助结果提醒方式：