Faculty
JAPANESE
閉じる
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
閉じる