Faculty - OKUI Satoshi |

OKUI Satoshi

Department / Course College of Engineering Department of Computer Science

Graduate School of Engineering Department of Computer Science

Job Associate Professor

Book and thesis
Papers	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
Papers	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol. 25 (No. 6) 1998
Papers	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol.167 (No.1-2.) 1996
Papers	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol. 167 (No. 1-2.) 1996
Papers	Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994
Papers	Outside-In Conditional Narrowing IEICE Trans Vol. E77-D (No. 6) 1994