Categories

• COM commutation problems
• CSR confluence of context-sensitive rewriting
• CTRS confluence of conditional rewriting
• GCR ground confluence
• HRS confluence of higher-order rewriting
• INF infeasibility problems
• NFP normal form property
• SRS confluence of string rewriting
• TRS confluence of term rewriting
• UNC unique normal forms wrt conversion
• UNR unique normal forms wrt reduction