BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Japan
1 × Portugal
1 × United Kingdom
Collaborated with:
Y.Akama S.Berardi U.Kohlenbach P.YiBing M.Sato K.Mori S.Sejeon S.Haruna
Talks about:
model (2) hierarchi (1) principl (1) mathemat (1) arithmet (1) develop (1) system (1) exclud (1) driven (1) comput (1)

Person: Susumu Hayashi

DBLP DBLP: Hayashi:Susumu

Contributed to:

TLCA 20052005
LICS 20042004
UML 20042004
CSL 20022002

Wrote 4 papers:

TLCA-2005-Hayashi #game studies #proving #question
Can Proofs Be Animated By Games? (SH), pp. 11–22.
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
UML-2004-HayashiYSMSH #development #modelling #uml
Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.
Limit-Computable Mathematics and Its Applications (SH, YA), p. 1.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.