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/tcs/ConradieFPS15.rdf
Willem Conradie et al.: Algorithmic correspondence for intuitionistic modal mu-calculus. (2015) journals/tcs/ConradieFPS15 10.1016/J.TCS.2014.10.027 Algorithmic correspondence for intuitionistic modal mu-calculus. 4 Willem Conradie 1 Yves Fomatati 2 Alessandra Palmigiano 3 Sumit Sourabh 4 30-62 Theor. Comput. Sci. Theor. Comput. Sci. 564 2015 provenance information for RDF data of dblp record 'journals/tcs/ConradieFPS15' 2021-02-17T21:59:31+0100