scientific article; zbMATH DE number 4180808
From MaRDI portal
Publication:3204048
zbMATH Open0716.68054MaRDI QIDQ3204048FDOQ3204048
Authors: Aart Middeldorp
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- On termination of the direct sum of term-rewriting systems
- Termination for the direct sum of left-linear term rewriting systems
- Counterexamples to termination for the direct sum of term rewriting systems
- Generalized sufficient conditions for modular termination of rewriting
- Termination for direct sums of left-linear complete term rewriting systems
Cited In (26)
- The theory of vaccines
- On termination of the direct sum of term-rewriting systems
- Modularity in term rewriting revisited
- Modularity of simple termination of term rewriting systems with shared constructors
- Completeness of combinations of conditional constructor systems
- Generalized sufficient conditions for modular termination of rewriting
- On the modularity of termination of term rewriting systems
- Modular proofs for completeness of hierarchical term rewriting systems
- Transforming termination by self-labelling
- Bubbles in modularity
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Completeness of combinations of constructor systems
- Decidability of reachability for disjoint union of term rewriting systems
- Modular termination of prefix-constrained term rewrite systems
- Counterexamples to termination for the direct sum of term rewriting systems
- Sufficient conditions for modular termination of conditional term rewriting systems
- Termination for the direct sum of left-linear term rewriting systems
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
- Extension orderings
- Modular term rewriting systems and the termination
- Termination criteria for DPO transformations with injective matches
- Confluence of the disjoint union of conditional term rewriting systems
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- Modularity in noncopying term rewriting
- On the Church-Rosser property for the direct sum of term rewriting systems
- Implementing term rewriting by graph reduction: Termination of combined systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204048)