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. ⟨10.1016/j.jcss.2018.01.002⟩. ⟨lirmm-01803441⟩

Laurent Bienvenu, Rutger Kuyper. Parallel and Serial Jumps of Weak Weak König’s Lemma. Computability and Complexity, LNCS (10010), Springer, pp.201-217, 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). ⟨10.1007/978-3-319-50062-1_15⟩. ⟨hal-01451088⟩

Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen. Layerwise Computability and Image Randomness. Theory of Computing Systems, Springer Verlag, 2017, 61 (4), pp.1353-1375. ⟨10.1007/s00224-017-9791-8⟩. ⟨hal-01650910⟩

Laurent Bienvenu, Ludovic Patey. Diagonally non-computable functions and fireworks. Information and Computation, Elsevier, 2017, 253 (Part 1), pp.64-77. ⟨10.1016/j.ic.2016.12.008⟩. ⟨lirmm-01693182⟩

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. ⟨10.1112/tlm3.12001⟩. ⟨hal-01888542⟩


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