Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-.

Mizuhito Ogawa

Browse the full ISAAC paper archive.