( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Functional System with Transfinitely Defined Types.

, и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 31-60. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Susumu Kuroda

Susumu Shikano

Susumu Iwabuchi

Ken Hayashi

Mutsumi Hayashi

 

Другие публикации лиц с тем же именем

Limit-Computable Mathematics and Its Applications., и . CSL, том 2471 из Lecture Notes in Computer Science, стр. 1. Springer, (2002)Mathematics Based on Learning.. ALT, том 2533 из Lecture Notes in Computer Science, стр. 7-21. Springer, (2002)Games with 1-backtracking., , и . GALOP@ETAPS, стр. 210-225. (2005)A Functional System with Transfinitely Defined Types., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 31-60. Springer, (1994)Towards Limit Computable Mathematics, и . TYPES '00: Selected papers from the International Workshop on Types for Proofs and Program s, стр. 125--144. London, UK, Springer-Verlag, (2002)Towards the animation of proofs - testing proofs by examples., , и . Theor. Comput. Sci., 272 (1-2): 177-195 (2002)Games with 1-backtracking., , и . Ann. Pure Appl. Log., 161 (10): 1254-1269 (2010)PX: a system extracting programs from proofs.. Formal Description of Programming Concepts, стр. 399-424. North-Holland, (1987)Testing Proofs by Examples., и . ASIAN, том 1538 из Lecture Notes in Computer Science, стр. 1-3. Springer, (1998)Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses., , , , и . KICSS, том 6746 из Lecture Notes in Computer Science, стр. 32-43. Springer, (2010)