首页 > 最新文献

Relational and Algebraic Methods in Computer Science最新文献

英文 中文
Preorders, Partial Semigroups, and Quantales 预定、部分半群和量子
Pub Date : 2020-04-01 DOI: 10.1007/978-3-030-43520-2_15
Koki Nishizawa, Koji Yasuda, H. Furusawa
{"title":"Preorders, Partial Semigroups, and Quantales","authors":"Koki Nishizawa, Koji Yasuda, H. Furusawa","doi":"10.1007/978-3-030-43520-2_15","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_15","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125507070","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
Sharpness in the Fuzzy World 模糊世界中的清晰度
Pub Date : 2020-04-01 DOI: 10.1007/978-3-030-43520-2_20
M. Winter
{"title":"Sharpness in the Fuzzy World","authors":"M. Winter","doi":"10.1007/978-3-030-43520-2_20","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_20","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127760375","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
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests 由链和序森林确定的交换双幂等半环
Pub Date : 2020-04-01 DOI: 10.1007/978-3-030-43520-2_1
Natanael Alpay, P. Jipsen
{"title":"Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests","authors":"Natanael Alpay, P. Jipsen","doi":"10.1007/978-3-030-43520-2_1","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_1","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126245163","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
A Hierarchy of Algebras for Boolean Subsets 布尔子集的代数层次
Pub Date : 2020-04-01 DOI: 10.1007/978-3-030-43520-2_10
Walter Guttmann, B. Möller
{"title":"A Hierarchy of Algebras for Boolean Subsets","authors":"Walter Guttmann, B. Möller","doi":"10.1007/978-3-030-43520-2_10","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_10","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116501300","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
Hardness of Network Satisfaction for Relation Algebras with Normal Representations 正态表示关系代数网络满足的硬度
Pub Date : 2019-12-18 DOI: 10.1007/978-3-030-43520-2_3
M. Bodirsky, Simon Knäuer
{"title":"Hardness of Network Satisfaction for Relation Algebras with Normal Representations","authors":"M. Bodirsky, Simon Knäuer","doi":"10.1007/978-3-030-43520-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_3","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127252995","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
The Involutive Quantaloid of Completely Distributive Lattices 完全分配格的对合量子样
Pub Date : 2019-11-04 DOI: 10.1007/978-3-030-43520-2_18
L. Santocanale
{"title":"The Involutive Quantaloid of Completely Distributive Lattices","authors":"L. Santocanale","doi":"10.1007/978-3-030-43520-2_18","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_18","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"12062 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129746994","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}
引用次数: 7
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL 具有Isabelle/HOL混合系统的微分Hoare逻辑和细化演算
Pub Date : 2019-10-29 DOI: 10.1007/978-3-030-43520-2_11
S. Foster, J. J. H. Y. Munive, G. Struth
{"title":"Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL","authors":"S. Foster, J. J. H. Y. Munive, G. Struth","doi":"10.1007/978-3-030-43520-2_11","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_11","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126702611","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}
引用次数: 20
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids 类模态分类公理化的计算机支持探索
Pub Date : 2019-10-27 DOI: 10.1007/978-3-030-43520-2_19
Lucca Tiemens, D. Scott, Christoph Benzmüller, M. Benda
{"title":"Computer-Supported Exploration of a Categorical Axiomatization of Modeloids","authors":"Lucca Tiemens, D. Scott, Christoph Benzmüller, M. Benda","doi":"10.1007/978-3-030-43520-2_19","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_19","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131339581","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
Generating Posets Beyond N 生成超过N的poset
Pub Date : 2019-10-14 DOI: 10.1007/978-3-030-43520-2_6
U. Fahrenberg, Christian Johansen, G. Struth, Ratan Bahadur Thapa
{"title":"Generating Posets Beyond N","authors":"U. Fahrenberg, Christian Johansen, G. Struth, Ratan Bahadur Thapa","doi":"10.1007/978-3-030-43520-2_6","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_6","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130579098","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}
引用次数: 12
Bisimilarity of Diagrams 图的双相似性
Pub Date : 2018-04-29 DOI: 10.1007/978-3-030-43520-2_5
Jérémy Dubut
{"title":"Bisimilarity of Diagrams","authors":"Jérémy Dubut","doi":"10.1007/978-3-030-43520-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-43520-2_5","url":null,"abstract":"","PeriodicalId":262886,"journal":{"name":"Relational and Algebraic Methods in Computer Science","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115077800","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
期刊
Relational and Algebraic Methods in Computer Science
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1