A generic proof of the Cook-Levin theorem

Paulin de Naurois

2022-11-07 14:30:00, #SéminaireComp
Hybride (salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)