tt-conspect icon indicating copy to clipboard operation
tt-conspect copied to clipboard

Published 20 hours ago • verified publisher icon artemohanjanyan

Fix definition for strong normalization

Open artemohanjanyan opened this issue 7 years ago • 0 comments

It's incorrect for chains consisting of zero reductions for terms which are not in NF.

artemohanjanyan avatar Jun 14 '17 11:06 artemohanjanyan