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

International Colloquium on Theoretical Aspects of Computing最新文献

筛选
英文 中文
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems 带有粘合剂的动态逻辑及其在反应系统开发中的应用
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_24
A. Madeira, L. Barbosa, R. Hennicker, M. Martins
{"title":"Dynamic Logic with Binders and Its Application to the Development of Reactive Systems","authors":"A. Madeira, L. Barbosa, R. Hennicker, M. Martins","doi":"10.1007/978-3-319-46750-4_24","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_24","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121355062","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
Verification of Concurrent Programs on Weak Memory Models 弱内存模型上并发程序的验证
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_1
Oleg Travkin, H. Wehrheim
{"title":"Verification of Concurrent Programs on Weak Memory Models","authors":"Oleg Travkin, H. Wehrheim","doi":"10.1007/978-3-319-46750-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_1","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126706631","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}
引用次数: 19
Synthesis of Petri Nets with Whole-Place Operations and Localities 具有整体运算和局部运算的Petri网的综合
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_7
J. Kleijn, M. Koutny, Marta Pietkiewicz-Koutny
{"title":"Synthesis of Petri Nets with Whole-Place Operations and Localities","authors":"J. Kleijn, M. Koutny, Marta Pietkiewicz-Koutny","doi":"10.1007/978-3-319-46750-4_7","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_7","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"577 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132677354","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
Hybrid Automata as Coalgebras 作为代数的混合自动机
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_22
Renato Neves, L. Barbosa
{"title":"Hybrid Automata as Coalgebras","authors":"Renato Neves, L. Barbosa","doi":"10.1007/978-3-319-46750-4_22","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_22","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"486 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133759186","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
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti ML模式匹配、递归和重写:从FoCaLiZe到Dedukti
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_26
Raphaël Cauderlier, Catherine Dubois
{"title":"ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti","authors":"Raphaël Cauderlier, Catherine Dubois","doi":"10.1007/978-3-319-46750-4_26","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_26","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134387305","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}
引用次数: 8
Ensuring Correctness of Model Transformations While Remaining Decidable 确保模型转换的正确性，同时保持可决定性
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_18
J. H. Brenas, R. Echahed, M. Strecker
{"title":"Ensuring Correctness of Model Transformations While Remaining Decidable","authors":"J. H. Brenas, R. Echahed, M. Strecker","doi":"10.1007/978-3-319-46750-4_18","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_18","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"22 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125778858","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}
引用次数: 11
Deriving Inverse Operators for Modal Logic 模态逻辑的逆算子的推导
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_13
Michell Guzmán, S. Perchy, C. Rueda, F. Valencia
{"title":"Deriving Inverse Operators for Modal Logic","authors":"Michell Guzmán, S. Perchy, C. Rueda, F. Valencia","doi":"10.1007/978-3-319-46750-4_13","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_13","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122642858","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
Soundly Proving B Method Formulæ Using Typed Sequent Calculus 用类型化序演算可靠地证明B方法公式
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_12
Pierre Halmagrand
{"title":"Soundly Proving B Method Formulæ Using Typed Sequent Calculus","authors":"Pierre Halmagrand","doi":"10.1007/978-3-319-46750-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_12","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125248510","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
Unifying Heterogeneous State-Spaces with Lenses 用透镜统一异构状态空间
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_17
S. Foster, Frank Zeyda, J. Woodcock
{"title":"Unifying Heterogeneous State-Spaces with Lenses","authors":"S. Foster, Frank Zeyda, J. Woodcock","doi":"10.1007/978-3-319-46750-4_17","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_17","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127535819","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}
引用次数: 38
Termination of Single-Path Polynomial Loop Programs 单路径多项式循环程序的终止
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_3
Yi Li
{"title":"Termination of Single-Path Polynomial Loop Programs","authors":"Yi Li","doi":"10.1007/978-3-319-46750-4_3","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_3","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115783600","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
首页 上一页 下一页 尾页
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学术官方微信