ISCAS OpenIR
An automata theoretic decision procedure for the propositional mu-calculus
Robert S. Streett; E. Allen Emerson
1989
发表期刊Information and Computation
卷号81期号:3页码:249 - 264
摘要The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.
收录类别其他
合作性质其它
语种英语
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/1353
专题中国科学院软件研究所
推荐引用方式
GB/T 7714
Robert S. Streett,E. Allen Emerson. An automata theoretic decision procedure for the propositional mu-calculus[J]. Information and Computation,1989,81(3):249 - 264.
APA Robert S. Streett,&E. Allen Emerson.(1989).An automata theoretic decision procedure for the propositional mu-calculus.Information and Computation,81(3),249 - 264.
MLA Robert S. Streett,et al."An automata theoretic decision procedure for the propositional mu-calculus".Information and Computation 81.3(1989):249 - 264.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
bj01147735.pdf(898KB) 开放获取使用许可请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Robert S. Streett]的文章
[E. Allen Emerson]的文章
百度学术
百度学术中相似的文章
[Robert S. Streett]的文章
[E. Allen Emerson]的文章
必应学术
必应学术中相似的文章
[Robert S. Streett]的文章
[E. Allen Emerson]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。