Laboratoire Méthodes Formelles (LMF)
… change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability machine … LIPIcs Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart … IEEE Transactions on Very Large Scale Integration (VLSI) Systems Extensional proofs in a propositional logic modulo …Published on: