scientific article; zbMATH DE number 1324443
From MaRDI portal
Publication:4255514
zbMath0925.68269MaRDI QIDQ4255514
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Sufficient conditions for modular termination of conditional term rewriting systems ⋮ Generalized sufficient conditions for modular termination of rewriting ⋮ Topics in termination ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ Uncurrying for termination and complexity ⋮ Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ Modular termination of \(r\)-consistent and left-linear term rewriting systems ⋮ Modularity in noncopying term rewriting ⋮ Natural termination ⋮ Proving weak properties of rewriting
This page was built for publication:
