Bubbles in modularity
From MaRDI portal
Publication:1127335
Recommendations
Cites work
- scientific article; zbMATH DE number 4180808 (Why is no real title available?)
- scientific article; zbMATH DE number 3913652 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- Counterexamples to termination for the direct sum of term rewriting systems
- Generalized sufficient conditions for modular termination of rewriting
- Modular properties of composable term rewriting systems
- Modular properties of conditional term rewriting systems
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- Modularity of completeness revisited
- Modularity of confluence: A simplified proof
- On termination of the direct sum of term-rewriting systems
- On the Church-Rosser property for the direct sum of term rewriting systems
- On the modularity of normal forms in rewriting
- On the modularity of termination of term rewriting systems
- Open problems in rewriting
- Termination for direct sums of left-linear complete term rewriting systems
- The theory of vaccines
Cited in
(2)
This page was built for publication: Bubbles in modularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127335)