( en | de | ru )

 

Disambiguation of "Hayashi, Susumu"

Author of the publication

copydeleteadd this publication to your clipboard
Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.

, , , , and . KICSS, volume 6746 of Lecture Notes in Computer Science, page 32-43. Springer, (2010)

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

Limit-Computable Mathematics and Its Applications., and . CSL, volume 2471 of Lecture Notes in Computer Science, page 1. Springer, (2002)Mathematics Based on Learning.. ALT, volume 2533 of Lecture Notes in Computer Science, page 7-21. Springer, (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)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)Towards the animation of proofs - testing proofs by examples., , and . Theor. Comput. Sci., 272 (1-2): 177-195 (2002)Games with 1-backtracking., , and . Ann. Pure Appl. Log., 161 (10): 1254-1269 (2010)PX: a system extracting programs from proofs.. Formal Description of Programming Concepts, page 399-424. North-Holland, (1987)Testing Proofs by Examples., and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 1-3. Springer, (1998)Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses., , , , and . KICSS, volume 6746 of Lecture Notes in Computer Science, page 32-43. Springer, (2010)