Pages that link to "Item:Q1098625"
From MaRDI portal
The following pages link to Corrigendum to ``Termination of rewriting'' (Q1098625):
Displaying 8 items.
- Overlap closures do not suffice for termination of general term rewriting systems (Q922713) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm (Q3357550) (← links)
- Open problems in rewriting (Q5055780) (← links)
- A complete characterization of termination of 0p 1q→1r 0s (Q5055817) (← links)
- Rewrite systems for integer arithmetic (Q5055840) (← links)
- On theorem-proving in Horn theories with built-in algebras (Q6560384) (← links)