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/conf/csl/MadhusudanMS018.xml
P. Madhusudan Umang Mathur 0001 Shambwaditya Saha Mahesh Viswanathan 0001 A Decidable Fragment of Second Order Logic With Applications to Synthesis. 31:1-31:19 2018 CSL https://doi.org/10.4230/LIPIcs.CSL.2018.31 conf/csl/2018 db/conf/csl/csl2018.html#MadhusudanMS018