Matteo Acclavio
![]() |
|
||||
Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by

2022

; ; ;
in Felty, Amy P. (Ed.) Proc. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) (2022)
2020

; ;
in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)