David FUENMAYOR PELAEZ
![]() |
|
||||
Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by

2021

;
in International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings (2021)

; ;
in Review of Symbolic Logic (2021), online first

;
in First International Workshop on Logics for New-Generation Artificial Intelligence (2021)
Top of Page