
OKUI Satoshi
Profile
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