A sequent calculus for limit computable mathematics (technical report)

Ediciones (1)

• A sequent calculus for limit computable mathematics (technical report) (2006)

  Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā. · inglés

Más obras de Stefano Berardi

Ver todas las obras de Stefano Berardi →