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

REX Workshop最新文献

筛选
英文 中文
Asynchronous Rendez-vous in Distributed Logic Programming 分布式逻辑编程中的异步会合
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_34
A. Eliëns, E. Vink
{"title":"Asynchronous Rendez-vous in Distributed Logic Programming","authors":"A. Eliëns, E. Vink","doi":"10.1007/3-540-56596-5_34","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_34","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117108051","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
Predicate Transformers and Higher Order Logic 谓词变换与高阶逻辑
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_26
R. Back, Joakim von Wright
{"title":"Predicate Transformers and Higher Order Logic","authors":"R. Back, Joakim von Wright","doi":"10.1007/3-540-56596-5_26","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_26","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133006562","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
Layered Predicates 分层的谓词
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_43
F. Nielson, H. R. Nielson
{"title":"Layered Predicates","authors":"F. Nielson, H. R. Nielson","doi":"10.1007/3-540-56596-5_43","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_43","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122824696","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
Full Abstraction and Unnested Recursion 完全抽象和非嵌套递归
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_41
M. Mislove, Frank J. Oles
{"title":"Full Abstraction and Unnested Recursion","authors":"M. Mislove, Frank J. Oles","doi":"10.1007/3-540-56596-5_41","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_41","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"890 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123245574","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
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality 具有参数化和局部性的非一致并发语言的全抽象模型
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_38
E. Horita
{"title":"A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality","authors":"E. Horita","doi":"10.1007/3-540-56596-5_38","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_38","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124456693","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
Abstraction in Real Time Process Algebra 实时过程代数中的抽象
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031999
Steven Klusener
{"title":"Abstraction in Real Time Process Algebra","authors":"Steven Klusener","doi":"10.1007/BFb0031999","DOIUrl":"https://doi.org/10.1007/BFb0031999","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130577955","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
Validating Real-Time Systems by Executing Logic Specifications 通过执行逻辑规范验证实时系统
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032005
A. Morzenti
{"title":"Validating Real-Time Systems by Executing Logic Specifications","authors":"A. Morzenti","doi":"10.1007/BFb0032005","DOIUrl":"https://doi.org/10.1007/BFb0032005","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"63 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124095502","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
Putting Time into Proof Outlines 花时间在校对大纲上
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032010
F. Schneider, B. Bloom, K. Marzullo
{"title":"Putting Time into Proof Outlines","authors":"F. Schneider, B. Bloom, K. Marzullo","doi":"10.1007/BFb0032010","DOIUrl":"https://doi.org/10.1007/BFb0032010","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131245947","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}
引用次数: 68
Timed Transition Systems 定时转换系统
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031995
T. Henzinger, Z. Manna, A. Pnueli
{"title":"Timed Transition Systems","authors":"T. Henzinger, Z. Manna, A. Pnueli","doi":"10.1007/BFb0031995","DOIUrl":"https://doi.org/10.1007/BFb0031995","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128175278","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}
引用次数: 298
From Timed to Hybrid Systems 从定时到混合系统
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032003
O. Maler, Z. Manna, A. Pnueli
{"title":"From Timed to Hybrid Systems","authors":"O. Maler, Z. Manna, A. Pnueli","doi":"10.1007/BFb0032003","DOIUrl":"https://doi.org/10.1007/BFb0032003","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130909287","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}
引用次数: 458
首页 上一页 下一页 尾页
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学术官方微信