iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/LiuDT15.xml
Yao Liu 0010 Zhenhua Duan Cong Tian An Improved Decision Procedure for Linear Time Mu-Calculus. 2015 abs/1507.05513 CoRR http://arxiv.org/abs/1507.05513 db/journals/corr/corr1507.html#LiuDT15