Susumu Hayashi

According to our database1, Susumu Hayashi authored at least 20 papers between 1985 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
The SMART-GS Project: An Approach to Image-based Digital Humanities.
Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014

2010
Games with 1-backtracking.
Ann. Pure Appl. Log., 2010

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.
Proceedings of the Knowledge, Information, and Creativity Support Systems, 2010

2007
Can Proofs be Animated by Games?
Fundam. Informaticae, 2007

2006
Mathematics based on incremental learning - Excluded middle and inductive inference.
Theor. Comput. Sci., 2006

2004
Test Driven Development of UML Models with SMART Modeling System.
Proceedings of the «UML» 2004, 2004

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002
Towards the animation of proofs - testing proofs by examples.
Theor. Comput. Sci., 2002

Limit-Computable Mathematics and Its Applications.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

Mathematics Based on Learning.
Proceedings of the Algorithmic Learning Theory, 13th International Conference, 2002

2000
Towards Limit Computable Mathematics.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1998
Testing Proofs by Examples.
Proceedings of the Advances in Computing Science, 1998

1996
Two Extensions of PX system.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Constructive Programming: A Personal View.
Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1994
Singleton, Union and Intersection Types for Program Extraction
Inf. Comput., 1994

A Functional System with Transfinitely Defined Types.
Proceedings of the Logic, 1994

Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction.
Proceedings of the Logic, 1994

1993
Logic of Refinement Types.
Proceedings of the Types for Proofs and Programs, 1993

1987
PX: a system extracting programs from proofs.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1985
Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.
Theor. Comput. Sci., 1985


  Loading...