scientific article; zbMATH DE number 1300971
From MaRDI portal
Publication:4246729
zbMATH Open0925.68263MaRDI QIDQ4246729FDOQ4246729
Publication date: 29 July 1999
Title of this publication is not available (Why is that?)
Cited In (6)
- Generalized sufficient conditions for modular termination of rewriting
- Modular proofs for completeness of hierarchical term rewriting systems
- Extension orderings
- On modularity in term rewriting and narrowing
- Modularity in noncopying term rewriting
- Spin covers of maximal compact subgroups of Kac-Moody groups and spin-extended Weyl groups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246729)
