Pages that link to "Item:Q1978646"

The following pages link to Logicality of conditional rewrite systems (Q1978646):

Displaying 4 items.

• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• Normal forms and normal theories in conditional rewriting (Q730473) (← links)
• Some general results about proof normalization (Q1931341) (← links)
• Shallow confluence of conditional term rewriting systems (Q2518609) (← links)