( en | de | ru )

 

Disambiguation of "Hayashi, Susumu"

Author of the publication

copydeleteadd this publication to your clipboard
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

, , , and . LICS, page 192-201. IEEE Computer Society, (2004)

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

Games with 1-backtracking., , and . GALOP@ETAPS, page 210-225. (2005)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)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)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)Two Extensions of PX system., , , , and . Linear Logic Tokyo Meeting, volume 3 of Electronic Notes in Theoretical Computer Science, page 88. Elsevier, (1996)Test Driven Development of UML Models with SMART Modeling System., , , , , and . UML, volume 3273 of Lecture Notes in Computer Science, page 395-409. Springer, (2004)Can Proofs be Animated by Games?. Fundam. Informaticae, 77 (4): 331-343 (2007)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)Testing Proofs by Examples., and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 1-3. Springer, (1998)