Source:
ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.science/hal-04093414 ; Annals of Pure and Applied Logic, 2023, 174 (9), pp.103287.
Source:
ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic ; https://inria.hal.science/hal-02190088 ; ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019,
Source:
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs