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/tocl/BiscaiaHM14.xml
Manuel Biscaia David Henriques Paulo Mateus Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. 4:1-4:17 2014 16 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/2666772 https://www.wikidata.org/entity/Q59196625 db/journals/tocl/tocl16.html#BiscaiaHM14