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

Theory and Formal Methods最新文献

筛选
英文 中文
An Exact Interpretation of While While的精确解释
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_24
P. Taylor
{"title":"An Exact Interpretation of While","authors":"P. Taylor","doi":"10.1007/978-1-4471-3503-6_24","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_24","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128655791","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
Animating LU 陆动画
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_6
Mark Dawson
{"title":"Animating LU","authors":"Mark Dawson","doi":"10.1007/978-1-4471-3503-6_6","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_6","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133213858","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
Prioritising Preference Relations 优先考虑偏好关系
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_21
M. Ryan
{"title":"Prioritising Preference Relations","authors":"M. Ryan","doi":"10.1007/978-1-4471-3503-6_21","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_21","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123841317","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
Laws of Parallel Synchronised Termination 并行同步终止定律
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_22
David Sands
{"title":"Laws of Parallel Synchronised Termination","authors":"David Sands","doi":"10.1007/978-1-4471-3503-6_22","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_22","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122435228","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
Congrurences for tau-Respecting Formats of Rules 尊重规则格式的一致性
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_25
I. Ulidowski
{"title":"Congrurences for tau-Respecting Formats of Rules","authors":"I. Ulidowski","doi":"10.1007/978-1-4471-3503-6_25","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_25","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121113938","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
Continuation Passing Transformation and Abstract Interpretation 延续传递变换与抽象解释
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_19
J. M. Filho, G. Burn
{"title":"Continuation Passing Transformation and Abstract Interpretation","authors":"J. M. Filho, G. Burn","doi":"10.1007/978-1-4471-3503-6_19","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_19","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114586357","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}
引用次数: 16
Geometric Logic in Computer Science 计算机科学中的几何逻辑
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_4
S. Vickers
{"title":"Geometric Logic in Computer Science","authors":"S. Vickers","doi":"10.1007/978-1-4471-3503-6_4","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_4","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125362864","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}
引用次数: 32
Concurrency and Conflict in CSP CSP中的并发性和冲突
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_16
M. Kwiatkowska, I. Phillips
{"title":"Concurrency and Conflict in CSP","authors":"M. Kwiatkowska, I. Phillips","doi":"10.1007/978-1-4471-3503-6_16","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_16","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117108196","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
Interaction Categories 交互类
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_5
S. Abramsky
{"title":"Interaction Categories","authors":"S. Abramsky","doi":"10.1007/978-1-4471-3503-6_5","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_5","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123542485","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
A Complete Axiom System for CCS with a Stability Operator 具有稳定算子的CCS完备公理系统
Theory and Formal Methods Pub Date : 1993-03-29 DOI: 10.1007/978-1-4471-3503-6_17
S. Liebert
{"title":"A Complete Axiom System for CCS with a Stability Operator","authors":"S. Liebert","doi":"10.1007/978-1-4471-3503-6_17","DOIUrl":"https://doi.org/10.1007/978-1-4471-3503-6_17","url":null,"abstract":"","PeriodicalId":306547,"journal":{"name":"Theory and Formal Methods","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128388302","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学术文献互助群
群 号：481959085
Book学术官方微信