( en | de | ru )

 

Disambiguation of "Hayashi, Susumu"

Author of the publication

copydeleteadd this publication to your clipboard
Mathematics Based on Learning.

. ALT, volume 2533 of Lecture Notes in Computer Science, page 7-21. Springer, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

Susumu Kuroda

Susumu Shikano

Susumu Iwabuchi

Ken Hayashi

Mutsumi Hayashi

 

Other publications of authors with the same name

Mathematics Based on Learning.. ALT, volume 2533 of Lecture Notes in Computer Science, page 7-21. Springer, (2002)Limit-Computable Mathematics and Its Applications., and . CSL, volume 2471 of Lecture Notes in Computer Science, page 1. Springer, (2002)Games with 1-backtracking., , and . GALOP@ETAPS, page 210-225. (2005)Towards Limit Computable Mathematics, and . TYPES '00: Selected papers from the International Workshop on Types for Proofs and Program s, page 125--144. London, UK, Springer-Verlag, (2002)A Functional System with Transfinitely Defined Types., and . Logic, Language and Computation, volume 792 of Lecture Notes in Computer Science, page 31-60. Springer, (1994)Towards the animation of proofs - testing proofs by examples., , and . Theor. Comput. Sci., 272 (1-2): 177-195 (2002)PX: a system extracting programs from proofs.. Formal Description of Programming Concepts, page 399-424. North-Holland, (1987)Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction., and . Logic, Language and Computation, volume 792 of Lecture Notes in Computer Science, page 1-9. Springer, (1994)Can Proofs be Animated by Games?. Fundam. Informaticae, 77 (4): 331-343 (2007)Games with 1-backtracking., , and . Ann. Pure Appl. Log., 161 (10): 1254-1269 (2010)