A Probabilistic Higher-Order Fixpoint Logic
A Probabilistic Higher-Order Fixpoint Logic
复制标题
概率高阶不动点逻辑
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
and Takeshi Tsukada
中科院分区：
文献类型：
--
作者：
Yo Mitani;Naoki Kobayashi;and Takeshi Tsukada
登录
查看更多内容
DOI：
10.1145/4904.4993
发表时间：
1986-01
期刊：
J. ACM
影响因子：
--
作者：
D. Harel
通讯作者：
D. Harel
mu 可定义的整数集
DOI：
10.1109/lics.1989.39189
发表时间：
1989
期刊：
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
影响因子：
--
作者：
Robert S. Lubarsky
通讯作者：
Robert S. Lubarsky
Lukasiewicz mu 微积分
DOI：
10.4204/eptcs.126
发表时间：
2013
期刊：
arXiv: Logic in Computer Science
影响因子：
--
作者：
D. Baelde;Arnaud Carayol
通讯作者：
Arnaud Carayol
确定概率密封自动机的值 1 问题
DOI：
--
发表时间：
2011
期刊：
2012 27th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Nathanaël Fijalkow;H. Gimbert;Edon Kelmendi;Y. Oualhadj
通讯作者：
Y. Oualhadj
DOI：
10.4230/lipics.stacs.2015.211
发表时间：
2015-02
期刊：
--
影响因子：
--
作者：
Pablo F. Castro;C. Kilmurray;Nir Piterman
通讯作者：
Pablo F. Castro;C. Kilmurray;Nir Piterman