scientific article; zbMATH DE number 1300971
From MaRDI portal
Publication:4246729
zbMath0925.68263MaRDI QIDQ4246729
Publication date: 29 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Generalized sufficient conditions for modular termination of rewriting ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ On modularity in term rewriting and narrowing ⋮ Modularity in noncopying term rewriting ⋮ Extension orderings ⋮ Spin covers of maximal compact subgroups of Kac-Moody groups and spin-extended Weyl groups
This page was built for publication:
