Pages that link to "Item:Q1177935"
From MaRDI portal
The following pages link to Order-sorted completion: The many-sorted way (Q1177935):
Displaying 13 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← 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)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Termination proofs of well-moded logic programs via conditional rewrite systems (Q5881206) (← links)
