Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS … LIPIcs Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart … Idir Ait-Sadoune 01/01/2024 Lecture Notes in Computer Science Resilience and Home-Space for WSTS Alain Finkel, …Article publié le: mer 20/09/2023 - 07:25