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/tacl/ConradieFPS13.nt
. . . . "Willem Conradie et al.: Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. (2013)" . . _:ID_9ce12b674baedaad74d7570fa1e2106c . _:ID_9ce12b674baedaad74d7570fa1e2106c . _:ID_9ce12b674baedaad74d7570fa1e2106c . _:ID_9ce12b674baedaad74d7570fa1e2106c . _:ID_9ce12b674baedaad74d7570fa1e2106c "conf/tacl/ConradieFPS13" . _:ID_9d7f33b0ad1f8af04d9a26aea90581e6 . _:ID_9d7f33b0ad1f8af04d9a26aea90581e6 . _:ID_9d7f33b0ad1f8af04d9a26aea90581e6 . _:ID_9d7f33b0ad1f8af04d9a26aea90581e6 . _:ID_9d7f33b0ad1f8af04d9a26aea90581e6 "10.29007/VPWW" . "Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1." . . . . . . . . . . "4"^^ . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 "Willem Conradie" . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 "1"^^ . _:Sig_fa79e629f5856a69d27011d24bb8a028_1 . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 "Yves Fomatati" . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 "2"^^ . _:Sig_fa79e629f5856a69d27011d24bb8a028_2 . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 "Alessandra Palmigiano" . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 "3"^^ . _:Sig_fa79e629f5856a69d27011d24bb8a028_3 . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 "Sumit Sourabh" . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 "4"^^ . _:Sig_fa79e629f5856a69d27011d24bb8a028_4 . . . . . "52-56" . "TACL" . "TACL" . "2013"^^ . "2014"^^ . . "provenance information for RDF data of dblp record 'conf/tacl/ConradieFPS13'" . . . . "2021-08-15T00:16:55+0200" .