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

Fields of Logic and Computation III最新文献

筛选
英文 中文
Relativization of Gurevich's Conjectures 古列维奇猜想的相对化
Fields of Logic and Computation III Pub Date : 2020-02-10 DOI: 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}
引用次数: 0
Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup 相对论效应可以用来实现通用平方根(甚至更快)的计算加速
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 3
Why Predicative Sets? 为什么是谓词集?
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 10.1007/978-3-030-48006-6_3
A. Avron
{"title":"Why Predicative Sets?","authors":"A. Avron","doi":"10.1007/978-3-030-48006-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-48006-6_3","url":null,"abstract":"","PeriodicalId":12271,"journal":{"name":"Fields of Logic and Computation III","volume":"56 1","pages":"30-45"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79346931","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}
引用次数: 1
Towards Verifying Logic Programs in the Input Language of clingo 用clingo输入语言验证逻辑程序
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 6
Computing on Lattice-Ordered Abelian Groups 格序阿贝尔群的计算
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 0
Convergence and Nonconvergence Laws for Random Expansions of Product Structures 乘积结构随机展开的收敛与非收敛律
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 0
Betweenness in Order-Theoretic Trees 序理论树的中间性
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 4
Randomness Tests: Theory and Practice 随机测试:理论与实践
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 1
The Expressive Power of Temporal and First-Order Metric Logics 时间和一阶度量逻辑的表达能力
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 0
Identities of the Kauffman Monoid K4 and of the Jones Monoid J4 Kauffman Monoid K4和Jones Monoid J4的恒等式
Fields of Logic and Computation III Pub Date : 2020-01-01 DOI: 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}
引用次数: 9
下一页 尾页
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学术官方微信