Satoshi Okui

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Satoshi Okui, Taro Suzuki
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions. CIAA (2010)
Taro Suzuki, Satoshi Okui
Hedge Pattern Partial Derivative. CIAA (2009)
Satoshi Okui
Simultaneous Critical Pairs and Church-Rosser Property. RTA (1998)
Aart Middeldorp, Satoshi Okui
A Deterministic Lazy Narrowing Calculus. J. Symb. Comput. 25 (6) (1998)
Aart Middeldorp, Satoshi Okui, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theor. Comput. Sci. 167 (1&2) (1996)
Aart Middeldorp, Satoshi Okui, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. UNIF (1995)
Satoshi Okui, Aart Middeldorp, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). TAPSOFT (1995)