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.rdf
Willem Conradie et al.: Constructive Canonicity for Lattice-Based Fixed Point Logics. (2017) conf/wollic/ConradieCPZ17 10.1007/978-3-662-55386-2_7 Constructive Canonicity for Lattice-Based Fixed Point Logics. 4 Willem Conradie 1 Andrew Craig 2 Alessandra Palmigiano 3 Zhiguang Zhao 4 92-109 WoLLIC WoLLIC 2017 2017 provenance information for RDF data of dblp record 'conf/wollic/ConradieCPZ17' 2021-10-14T10:03:31+0200