-
1by Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
2by Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
3by Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
4by Pernet, Clément, Signargout, Hippolyte, Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
5by Pernet, Clément, Signargout, Hippolyte, Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
6by Pernet, Clément, Signargout, Hippolyte, Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
7by Pernet, Clément, Signargout, Hippolyte, Villard, GillesContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (2023)
Get access
Get access
Get access
Get access
Conference Object -
8by Nguyen, Hong DiepContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published 2010
Get access
Get access
Get access
Conference Object -
9by Nguyen, Hong DiepContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published 2010
Get access
Get access
Get access
Conference Object -
10by Nguyen, Hong DiepContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published 2010
Get access
Get access
Get access
Conference Object -
11by Nguyen, Hong DiepContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published 2010
Get access
Get access
Get access
Conference Object -
12Contributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Get access
Get access
Get access
Conference Object -
13Contributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Get access
Get access
Get access
Conference Object -
14Contributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Get access
Get access
Get access
Conference Object -
15by Rastello, Marie, Rastello, Fabrice, Bellot, Hervé, Ousset, Frédéric, Dufour, François, Meier, LorenzContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
Published in Journal of Glaciology (2011)
Get access
Get access
Article in Journal/Newspaper -
16by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
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 -
17by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
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 -
18by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
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 -
19by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
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 -
20by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en...”
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