Pages that link to "Item:Q1579057"
From MaRDI portal
The following pages link to Type introduction for equational rewriting (Q1579057):
Displaying 7 items.
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- (Q2771055) (← links)
- Rewriting in the partial algebra of typed terms modulo AC (Q2842873) (← links)
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290) (← links)
- Type removal in term rewriting (Q5881182) (← links)