A sequent calculus for limit computable mathematics (technical report)
Edición de la obra A sequent calculus for limit computable mathematics (technical report)
| Autor | Stefano Berardi |
|---|---|
| Editorial | Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā. |
| Fecha de publicación | 2006 |
| Lugar | [Toyonaka-shi] |
| Idioma | inglés |
| Páginas | 26 |
| LCCN | 2008554219 |
| Serie | Sanpu kagaku kenkyū sokuhō = Programming science technical report -- AIST-PS-2006-008 |
| Número de Cutter | B483s |