scientific article; zbMATH DE number 1479616
From MaRDI portal
zbMath0942.68593MaRDI QIDQ4490728
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Modularity of termination in term graph rewriting, On the modularity of termination of term rewriting systems, Modular proofs for completeness of hierarchical term rewriting systems, Modular and incremental proofs of AC-termination, Modularity in term rewriting revisited, Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems, Simple termination of rewrite systems, On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems, Modularity in noncopying term rewriting, Extension orderings, Transforming termination by self-labelling, Modular aspects of term graph rewriting, Some characteristics of strong innermost normalization, Hierarchical termination revisited., Modular and incremental automated termination proofs
