ble, only that if

reduction terminates it will reach a unique normal form.

Last updated: 1995-01-25

Nearby terms:

ed by zero or more reductionble, only that ifl reach a unique normal form.

Try this search on Wikipedia, OneLook, Google


Loading