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

International Conference on Algebraic Methodology and Software Technology最新文献

筛选
英文 中文
Tableaux for Lattices 网格的Tableaux
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_25
G. Struth
{"title":"Tableaux for Lattices","authors":"G. Struth","doi":"10.1007/11784180_25","DOIUrl":"https://doi.org/10.1007/11784180_25","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"61 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133685173","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
Realizability Criteria for Compositional MSC 组成MSC的可实现性标准
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_20
A. Mooij, J. Romijn, Wieger Wesselink
{"title":"Realizability Criteria for Compositional MSC","authors":"A. Mooij, J. Romijn, Wieger Wesselink","doi":"10.1007/11784180_20","DOIUrl":"https://doi.org/10.1007/11784180_20","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114104592","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}
引用次数: 13
Fractional Semantics 部分语义
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_22
Härmel Nestra
{"title":"Fractional Semantics","authors":"Härmel Nestra","doi":"10.1007/11784180_22","DOIUrl":"https://doi.org/10.1007/11784180_22","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116824072","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
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker 一种用于自旋模型检查器的计算群论对称约简包
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_29
A. Donaldson, Alice Miller
{"title":"A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker","authors":"A. Donaldson, Alice Miller","doi":"10.1007/11784180_29","DOIUrl":"https://doi.org/10.1007/11784180_29","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134019161","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}
引用次数: 29
Quantales and Temporal Logics 量子与时间逻辑
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_21
B. Möller, P. Höfner, G. Struth
{"title":"Quantales and Temporal Logics","authors":"B. Möller, P. Höfner, G. Struth","doi":"10.1007/11784180_21","DOIUrl":"https://doi.org/10.1007/11784180_21","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134177869","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}
引用次数: 28
Testing Semantics: Connecting Processes and Process Logics 测试语义:连接进程和进程逻辑
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_24
Dusko Pavlovic, M. Mislove, J. Worrell
{"title":"Testing Semantics: Connecting Processes and Process Logics","authors":"Dusko Pavlovic, M. Mislove, J. Worrell","doi":"10.1007/11784180_24","DOIUrl":"https://doi.org/10.1007/11784180_24","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124139447","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}
引用次数: 45
Data Movement Optimisation in Point-Free Form 点自由形式的数据移动优化
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_5
Brad J. Alexander, A. Wendelborn
{"title":"Data Movement Optimisation in Point-Free Form","authors":"Brad J. Alexander, A. Wendelborn","doi":"10.1007/11784180_5","DOIUrl":"https://doi.org/10.1007/11784180_5","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126932977","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
Recursive Program Schemes: Past, Present, and Future 递归程序方案:过去、现在和未来
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_2
L. Moss
{"title":"Recursive Program Schemes: Past, Present, and Future","authors":"L. Moss","doi":"10.1007/11784180_2","DOIUrl":"https://doi.org/10.1007/11784180_2","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116945709","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
Assessing the Expressivity of Formal Specification Languages 评估形式规范语言的表达能力
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_18
Natalia López, M. Núñez, Ismael Rodríguez
{"title":"Assessing the Expressivity of Formal Specification Languages","authors":"Natalia López, M. Núñez, Ismael Rodríguez","doi":"10.1007/11784180_18","DOIUrl":"https://doi.org/10.1007/11784180_18","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116500097","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
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic 分离逻辑模态扩展中数据并行指针程序的推理
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_23
S. Nishimura
{"title":"Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic","authors":"S. Nishimura","doi":"10.1007/11784180_23","DOIUrl":"https://doi.org/10.1007/11784180_23","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120962997","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书