Extension orderings
From MaRDI portal
Publication:4645205
Recommendations
Cites work
- scientific article; zbMATH DE number 4180808 (Why is no real title available?)
- scientific article; zbMATH DE number 3930339 (Why is no real title available?)
- scientific article; zbMATH DE number 1300971 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1479616 (Why is no real title available?)
- scientific article; zbMATH DE number 194506 (Why is no real title available?)
- Counterexamples to termination for the direct sum of term rewriting systems
- Modular properties of composable term rewriting systems
- Modular properties of conditional term rewriting systems
- Modularity of simple termination of term rewriting systems with shared constructors
- On termination of the direct sum of term-rewriting systems
- Termination of rewriting
- Total termination of term rewriting
Cited in
(6)- More on the order of prolongations and restrictions
- Signature extensions preserve termination. An alternative proof via dependency pairs
- scientific article; zbMATH DE number 1419646 (Why is no real title available?)
- Equational rules for rewriting logic
- Extension functions for multiset orderings
- Simple termination of rewrite systems
This page was built for publication: Extension orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645205)