1 Answers
A critical pair arises in a term rewriting system when two rewrite rules overlap to yield two different terms. In more detail, is a critical pair if there is a term t for which two different applications of a rewrite rule yield the terms t1 and t2.
4 views
Answered