Accéder directement au contenu
NT

Nicolas Tabareau

1
Documents

Présentation

Publications

998889
Image document

An Effectful Way to Eliminate Addiction to Dependence

 Pierre-Marie Pédrot , Nicolas Tabareau
Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, Jun 2017, Reykjavik, Iceland. pp.12, ⟨10.1109/LICS.2017.8005113⟩
Communication dans un congrès hal-01441829v1