( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

, , , и . LICS, стр. 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.

Susumu Kuroda

Susumu Shikano

Susumu Iwabuchi

Ken Hayashi

Mutsumi Hayashi

 

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

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)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)Test Driven Development of UML Models with SMART Modeling System., , , , , и . UML, том 3273 из Lecture Notes in Computer Science, стр. 395-409. Springer, (2004)Two Extensions of PX system., , , , и . Linear Logic Tokyo Meeting, том 3 из Electronic Notes in Theoretical Computer Science, стр. 88. Elsevier, (1996)Can Proofs be Animated by Games?. Fundam. Informaticae, 77 (4): 331-343 (2007)Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 1-9. Springer, (1994)PX: a system extracting programs from proofs.. Formal Description of Programming Concepts, стр. 399-424. North-Holland, (1987)