weakly terminating

views updated

weakly terminating (weakly normalizing) See abstract reduction system.

More From encyclopedia.com