Keishiki-taikei-to-keisan-riron RIMS-kyōdō-kenkyū-hōkokushū ; Kyōto, September 13 - 17, 2010 = Form al systems and computality theory

Literaturangaben

Bibliographische Detailangaben

Weitere Verfasser:	Yamazaki, Takeshi (BerichterstatterIn), Yokoyama, Keita (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	jpn
Veröffentlicht:	Kyōto Kyoto University, Research Institute for Mathematical Sciences 2011
Schriftenreihe:	Sūri-Kaiseki-Kenkyūsho-kōkyūroku 1729
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!