normalization property (Q3890222)
Jump to navigation
Jump to search
property of a rewrite system in mathematical logic and theoretical computer science
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | normalization property |
property of a rewrite system in mathematical logic and theoretical computer science |