scientific article; zbMATH DE number 1479616
From MaRDI portal
Publication:4490728
zbMATH Open0942.68593MaRDI QIDQ4490728FDOQ4490728
Authors: M. R. K. Krishna Rao 
Publication date: 20 July 2000
Title of this publication is not available (Why is that?)
Recommendations
- Modular proofs for completeness of hierarchical term rewriting systems
- On the modularity of termination of term rewriting systems
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
- Modularity of simple termination of term rewriting systems with shared constructors
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
Cited In (18)
- Modularity in term rewriting revisited
- Modularity of simple termination of term rewriting systems with shared constructors
- Simple termination of rewrite systems
- On the modularity of termination of term rewriting systems
- Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\)
- Modular proofs for completeness of hierarchical term rewriting systems
- Transforming termination by self-labelling
- Modular aspects of term graph rewriting
- Hierarchical termination revisited.
- Title not available (Why is that?)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Modular and incremental automated termination proofs
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
- Extension orderings
- Modular and incremental proofs of AC-termination
- Some characteristics of strong innermost normalization
- Modularity in noncopying term rewriting
- Modularity of termination in term graph rewriting
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 Q4490728)
