Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS Inria … Proceedings in Informatics, LIPIcs Quantum Circuit Completeness: Extensions and Simplifications Alexandre … Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS Inria …
Published on: