Arnaud Lequen
Orcid: 0000-0003-0339-0967
According to our database1,
Arnaud Lequen
authored at least 4 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
J. Log. Comput., August, 2023
Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023
2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
2020
Proceedings of the Dynamic Logic. New Trends and Applications, 2020