Laurent BIENVENU
Laurent Bienvenu Chargé de Recherches (CNRS)

Équipe LaBRI : Méthodes formelles
Courrier électronique : laurent.bienvenuarobaselabri.fr
Bureau : 208
Tél : +33 (0)5 40 00 38 72


Extrait de publications


Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen. Algorithmic identification of probabilities is hard. Journal of Computer and System Sciences, Elsevier, 2018, 95, pp.98-108

Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen. Algorithmic identification of probabilities is hard. Journal of Computer and System Sciences, Elsevier, 2018, 95, pp.98-108

Laurent Bienvenu, Rutger Kuyper. Parallel and Serial Jumps of Weak Weak König’s Lemma. Computability and Complexity, LNCS (10010), Springer, pp.201-2117, 2017, Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 978-3-319-50061-4 (print) 978-3-319-50062-1 (online)

Laurent Bienvenu, Ludovic Patey. Diagonally non-computable functions and fireworks. Information and Computation, Elsevier, 2017, 253 (Part 1), pp.64-77

Laurent Bienvenu, Ludovic Patey, Paul Shafer. On the logical strengths of partial solutions to mathematical problems. Transactions of the London Mathematical Society, 2017, 4 (1), pp.30 - 71


Page mise à jour le 13/08/2010 à 10:56