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

International Colloquium on Theoretical Aspects of Computing最新文献

筛选
英文 中文
A Formal Proof Generator from Semi-formal Proof Documents 一个半正式证明文件的正式证明生成器
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_1
A. Riesco, K. Ogata
{"title":"A Formal Proof Generator from Semi-formal Proof Documents","authors":"A. Riesco, K. Ogata","doi":"10.1007/978-3-319-67729-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_1","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"493 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116534822","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
Logical Characterisation of Parameterised Bisimulations 参数化双仿真的逻辑表征
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_4
Divyanshu Bagga, S. Arun-Kumar
{"title":"Logical Characterisation of Parameterised Bisimulations","authors":"Divyanshu Bagga, S. Arun-Kumar","doi":"10.1007/978-3-319-67729-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_4","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127566483","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
ECBC: A High Performance Educational Certificate Blockchain with Efficient Query ECBC:具有高效查询的高性能教育证书区块链
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_17
Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li
{"title":"ECBC: A High Performance Educational Certificate Blockchain with Efficient Query","authors":"Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li","doi":"10.1007/978-3-319-67729-3_17","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_17","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115166486","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}
引用次数: 52
Institutions for Behavioural Dynamic Logic with Binders 带有binder的行为动态逻辑机构
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_2
R. Hennicker, A. Madeira
{"title":"Institutions for Behavioural Dynamic Logic with Binders","authors":"R. Hennicker, A. Madeira","doi":"10.1007/978-3-319-67729-3_2","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_2","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125936621","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
Constructing Cycles in the Simplex Method for DPLL(T) DPLL(T)的单纯形法循环构造
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_13
Bertram Felgenhauer, A. Middeldorp
{"title":"Constructing Cycles in the Simplex Method for DPLL(T)","authors":"Bertram Felgenhauer, A. Middeldorp","doi":"10.1007/978-3-319-67729-3_13","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_13","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129847867","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
Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments 二维FSSP算法的小状态实现-最新进展
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_9
H. Umeo, Keisuke Kubo, Akira Nomura
{"title":"Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments","authors":"H. Umeo, Keisuke Kubo, Akira Nomura","doi":"10.1007/978-3-319-67729-3_9","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_9","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129459986","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
Class-Diagrams for Abstract Data Types 抽象数据类型的类图
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_7
Son Hoang, C. Snook, Dana Dghaym, M. Butler
{"title":"Class-Diagrams for Abstract Data Types","authors":"Son Hoang, C. Snook, Dana Dghaym, M. Butler","doi":"10.1007/978-3-319-67729-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_7","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132271933","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
Inferring Secrets by Guided Experiments 通过引导实验推断秘密
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_16
Quoc Huy Do, Richard Bubel, Reiner Hähnle
{"title":"Inferring Secrets by Guided Experiments","authors":"Quoc Huy Do, Richard Bubel, Reiner Hähnle","doi":"10.1007/978-3-319-67729-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_16","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127181427","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 a Calculus for Dynamic Architectures 走向动态架构的微积分
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_6
Diego Marmsoler
{"title":"Towards a Calculus for Dynamic Architectures","authors":"Diego Marmsoler","doi":"10.1007/978-3-319-67729-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_6","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123047802","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}
引用次数: 10
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements 带满意声明的混合PDL的部分缓存表
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_14
Agathoklis Kritsimallis
{"title":"Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements","authors":"Agathoklis Kritsimallis","doi":"10.1007/978-3-319-67729-3_14","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_14","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130699169","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
首页 上一页 下一页 尾页
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学术官方微信