| |
| 1998 | ||
|---|---|---|
| 4 | EE | Satoshi Okui: Simultaneous Critical Pairs and Church-Rosser Property. RTA 1998: 2-16 |
| 3 | Aart Middeldorp, Satoshi Okui: A Deterministic Lazy Narrowing Calculus. J. Symb. Comput. 25(6): 733-757 (1998) | |
| 1996 | ||
| 2 | EE | Aart Middeldorp, Satoshi Okui, Tetsuo Ida: Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theor. Comput. Sci. 167(1&2): 95-130 (1996) |
| 1995 | ||
| 1 | Satoshi Okui, Aart Middeldorp, Tetsuo Ida: Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). TAPSOFT 1995: 394-408 | |
| 1 | Tetsuo Ida | [1] [2] |
| 2 | Aart Middeldorp | [1] [2] [3] |