WorldCat Identities

Hayashi, Susumu 1953-

Overview
Works: 63 works in 91 publications in 3 languages and 334 library holdings
Roles: Author, Inventor
Classifications: QA76.9.A96, 511.3
Publication Timeline
.
Most widely held works by Susumu Hayashi
PX, a computational logic by Susumu Hayashi( Book )

13 editions published between 1987 and 1989 in English and Undetermined and held by 235 WorldCat member libraries worldwide

Sūri ronrigaku( Book )

2 editions published in 1989 in Japanese and held by 5 WorldCat member libraries worldwide

Ohanashi sūgaku kisoron : Sūgaku dewa kanarazu tadashii ketsuron ni tōtatsudekiruka by Mariko Yasugi( Book )

3 editions published in 2002 in Japanese and held by 5 WorldCat member libraries worldwide

Extended projection method and realizability interpretation by Yukihide Takayama( Book )

2 editions published in 1990 in English and held by 5 WorldCat member libraries worldwide

Abstract: "A new application of the Kreisel-Troelstra realizability interpretation is given in this paper. The realizability was originally introduced to give a semantics of an intuitionistic second order number theory, and has been used to give a semantics of polymorphism and type theoretic treatment of module structure. This paper investigates first order Kreisel-Troelstra realizability to generate redundancy free programs from constructive proofs, and show that the realizability gives a good theoretical background for program extraction."
Paradokkusu = Paradox!( Book )

2 editions published in 2000 in Japanese and held by 5 WorldCat member libraries worldwide

Puroguramu kenshō ron( Book )

2 editions published in 1995 in Japanese and held by 4 WorldCat member libraries worldwide

Towards automated synthetic differential geometry 1 : basic categorical construction by Susumu Hayashi( Book )

2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Some experiments on EKL by Masami Hagiya( Book )

2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Jōhōkei no sūgaku nyūmon( Book )

2 editions published in 1993 in Japanese and held by 4 WorldCat member libraries worldwide

Kagaku gijutsu ni "shisō" wa hitsuyō ka by Susumu Hayashi( Book )

2 editions published in 2006 in Japanese and held by 4 WorldCat member libraries worldwide

Fukanzensei teiri( Book )

1 edition published in 2006 in Japanese and held by 3 WorldCat member libraries worldwide

Stock assessment by Susumu Hayashi( Book )

2 editions published in 1971 in English and held by 3 WorldCat member libraries worldwide

DIFFUSION RAMAN SPIN-FLIP ET PHOTOCONDUCTIVITE EN PRESENCE D'UN CHAMP MAGNETIQUE ELEVE DANS INSB by Susumu Hayashi( Book )

1 edition published in 1975 in French and held by 2 WorldCat member libraries worldwide

OBTENTION ET ETUDE DE LA DIFFUSION SPIN-FLIP DANS INSB, MESURES DE PHOTOCONDUCTIVITE EN PRESENCE DE LA DIFFUSION ET MESURES DE PHOTOCONDUCTIVITE A HAUT CHAMP MAGNETIQUE EN L'ABSENCE DE DIFFUSION
Ronri pazuru to pazuru no ronri by Mariko Yasugi( Book )

2 editions published in 1998 in Japanese and held by 2 WorldCat member libraries worldwide

Kōseiteki puroguramingu no kiso( Book )

1 edition published in 1991 in Japanese and held by 2 WorldCat member libraries worldwide

Gēderu no nazo o toku( Book )

2 editions published in 1993 in Japanese and held by 2 WorldCat member libraries worldwide

Preparation of oriented hydrogel membrane by T Hirai( Book )

in English and held by 1 WorldCat member library worldwide

Sofutōea kōgaku de ryūkōsuru nihongata seisanhō( Book )

1 edition published in 2004 in Japanese and held by 1 WorldCat member library worldwide

Effect of molecular weight and chemical composition of polyelectrolyte on the inhibition of scale deposition by Masabumi Okamoto( Book )

in English and held by 1 WorldCat member library worldwide

Polypropylene resin compositions with excellent surface properties( Book )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.67 for PX, a comp ... to 1.00 for Effect of ...)

Alternative Names
Hayashi, S.

Hayashi, Susumu 1953-

Hayasi, S.

Hayasi, Susumu

ハヤシ, ススム

ハヤシ, ススム 1953-

林晋 1953-

Languages
English (20)

Japanese (20)

French (1)