-
1by Nguyen, Hong DiepContributors: “... Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS...”
Published 2010
Get access
Get access
Get access
Conference Object -
2by Nguyen, Hong DiepContributors: “... Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS...”
Published 2010
Get access
Get access
Get access
Conference Object -
3by Nguyen, Hong DiepContributors: “... Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS...”
Published 2010
Get access
Get access
Get access
Conference Object -
4by Nguyen, Hong DiepContributors: “... Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS...”
Published 2010
Get access
Get access
Get access
Conference Object -
5by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “... Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object