Ogawa Mizuhito | Ntt Basic Research Laboratories
スポンサーリンク
概要
関連著者
-
Ogawa Mizuhito
Ntt Basic Research Labs.
-
Ogawa Mizuhito
Ntt Basic Research Laboratories
-
Mano Ken
NTT Communication Science Labs.
-
Mano Ken
Ntt Communication Science Laboratories
著作論文
- Simple gap termination for term graph rewriting systems(Theory of Rewriting Systems and Its Applications)
- A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications)