• Print only the body of the page. Set to print background colors and images.
  • Print the whole page. Set to print background colors and images.

OKUI Satoshi


Title Associate Professor
Belong to Dept. of Computer Science
Computer Science (graduate school)
Graduated Tsukuba University, Graduate School of Engineering
Degree Dr. of Engineering, Tsukuba University
Academic Institutional Membership Information Processing Society of Japan, Japan Society for Software Science and Technology
Field of Study Symbolic Computation
Research, Studies Term Rewriting, Automated Equational Deduction, Functional, Logic Programming
Curriculum Specialized Achievements in Study & Education:

Academic Papers, Critique

Deterministic Lazy Narrowing Calculus, J. Symbolic Computation, Vol. 25, No. 6, 1998

Lazy Narrowing: Strong Completeness and Eager Variable Elimination, Theoretical Computer Science, Vol. 167, No. 1-2, 1996

Outside-In Conditional Narrowing, IEICE Trans. Info. & Sys., Vol. E77-D, No. 6, 1994

Lectures, Symposium, Presentation

Simultaneous Critical Pairs and Church-Rosser Property, 9th RTA (LNCS 1379), 1998

Page Top