Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS … Systems Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 10/25/23 Theoretical Computer … 69 : Engineering 7 : Physics and Astronomy 7 : Decision Sciences 7 : Arts and Humanities 5 : Biochemistry, Genetics …
Published on: