scientific article; zbMATH DE number 1456966
From MaRDI portal
Publication:4954455
zbMath0938.68683MaRDI QIDQ4954455
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Problems in rewriting III ⋮ Compositional term rewriting: An algebraic proof of Toyama's theorem ⋮ On the modularity of termination of term rewriting systems ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ Layer Systems for Proving Confluence ⋮ 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 ⋮ Termination is not modular for confluent variable-preserving term rewriting systems ⋮ A uniform framework for term and graph rewriting applied to combined systems
