著者典拠情報

標目形：
Okada, M. (Mitsuhiro), 1954-
属性：
Personal
日付：
1954
から見よ参照形：
岡田, 光弘||オカダ, ミツヒロ
Okada, Mitsuhiro, 1954-
注記：
Conditional and typed rewriting systems, c1991: CIP t.p. (M. Okada) t.p. verso (Mitsuhiro Okada; Dept. of Comp. Sci., Concordia Univ., Montreal, Can.)
NLC 3-20-91
著者典拠ID：
DA05669792


 close
1.

図書
図書
1. Theories of types and proofs
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)
出版情報: Tokyo : Mathematical Society of Japan, 1998
シリーズ名: MSJ memoirs ; v. 2
所蔵情報: loading…
2.

図書
図書
2. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings (: gw ; : us)
S. Kaplan, M. Okada, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: loading…