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/fsttcs/PadmanabhaRW18.xml
Anantha Padmanabha R. Ramanujam 0001 Yanjing Wang 0001 Bundled Fragments of First-Order Modal Logic: (Un)Decidability. 43:1-43:20 2018 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2018.43 conf/fsttcs/2018 db/conf/fsttcs/fsttcs2018.html#PadmanabhaRW18