Pages that link to "Item:Q912606"
From MaRDI portal
The following pages link to Equational completion in order-sorted algebras (Q912606):
Displaying 8 items.
- Semantics of order-sorted specifications (Q1185014) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Confluence of terminating membership conditional TRS (Q5881201) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
