scientific article; zbMATH DE number 1995150
From MaRDI portal
zbMath1023.68598MaRDI QIDQ4431370
Publication date: 22 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the modularity of termination of term rewriting systems, Modular proofs for completeness of hierarchical term rewriting systems, On modularity in infinitary term rewriting, A uniform framework for term and graph rewriting applied to combined systems
