Satoshi Okui

	2009
5		Taro Suzuki, Satoshi Okui: Hedge Pattern Partial Derivative. CIAA 2009: 125-134
	1998
4		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		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

Coauthor Index

1	Tetsuo Ida	[1] [2]
2	Aart Middeldorp	[1] [2] [3]
3	Taro Suzuki	[5]