Reiji Nakajima

According to our database1, Reiji Nakajima
  • authored at least 11 papers between 1975 and 2005.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
SOBA Framework: An Application Framework for Broadband Network Environment.
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

1985
IOTA: A Modular Programming System.
IEEE Trans. Software Eng., 1985

1983
Modularization and Abstraction in Logic Programming.
New Generation Comput., 1983

System Supports for Modular Programming.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Language, Logical Foundation, Verification.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Strategies and Techniques for Interactive Proof.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

1980
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf., 1980

The iota-Programming System - A Support System for Hieratchical and Modular Programming.
IFIP Congress, 1980

1979
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1975
Infinite normal forms for the lambda - calculus.
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975


  Loading...