Constructive canonicity for lattice-based fixed point logics
- Willem Conradie
- , Andrew Craig
- , Alessandra Palmigiano
- , Zhiguang Zhao
- University of Johannesburg
- Delft University of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
12
Citations
(Scopus)