views updated

weakly terminating (weakly normalizing) See abstract reduction system.

About this article

weakly terminating

Updated About encyclopedia.com content Print Article Share Article