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/wollic/ConradieCPZ17.xml
Willem Conradie Andrew Craig Alessandra Palmigiano Zhiguang Zhao Constructive Canonicity for Lattice-Based Fixed Point Logics. 92-109 2017 WoLLIC https://doi.org/10.1007/978-3-662-55386-2_7 conf/wollic/2017 db/conf/wollic/wollic2017.html#ConradieCPZ17