David FUENMAYOR PELAEZ
![]() |
|
||||
Department | Département Informatique | ||||
Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
Bureau sur le campus | MNO, E03 0345-090 | ||||
![]() |
|||||
Téléphone | (+352) 46 66 44 5055 | ||||
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