Publication | Closed Access

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

Order TheoryEngineeringAutomated ReasoningClassical LogicFormal MethodsHigher-order LogicPartially Ordered SetRewriting SystemCoherence Properties