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/mfcs/LiuPRW22.xml
Mo Liu 0002 Anantha Padmanabha R. Ramanujam 0001 Yanjing Wang 0001 Generalized Bundled Fragments for First-Order Modal Logic. 70:1-70:14 2022 MFCS https://doi.org/10.4230/LIPIcs.MFCS.2022.70 conf/mfcs/2022 db/conf/mfcs/mfcs2022.html#LiuPRW22