教員情報 - 奥居　哲

オクイ　サトシ OKUI Satoshi
奥居　哲

所属

工学部情報工学科

大学院工学研究科情報工学専攻

職名准教授

著書・論文歴
論文	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
論文	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
論文	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol. 167 (No. 1-2.) 1996
論文	Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994
論文	Outside-In Conditional Narrowing IEICE Trans Vol. E77-D (No. 6) 1994