Patrick Vollat

• Calculabilité effective et algorithmique théorique