scientific article; zbMATH DE number 3905845
From MaRDI portal
Publication:3683533
zbMATH Open0567.68026MaRDI QIDQ3683533FDOQ3683533
Authors: Deepak Kapur, Paliath Narendran, G. Sivakumar 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
Cited In (32)
- Improving associative path orderings
- On the recursive decomposition ordering with lexicographical status and other related orderings
- On the complexity of recursive path orderings
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths
- Practical algorithms for deciding path ordering constraint satisfaction.
- Path of subterms ordering and recursive decomposition ordering revisited
- Title not available (Why is that?)
- An improved general path order
- A path ordering for proving termination of AC rewrite systems
- On recursive path ordering
- Extensions and comparison of simplification orderings
- Rewriting Techniques and Applications
- Proving termination of (conditional) rewrite systems. A semantic approach
- Title not available (Why is that?)
- Leanest quasi-orderings
- Termination of rewriting
- Simplification orderings: Putting them to the test
- Termination orderings for associative-commutative rewriting systems
- Title not available (Why is that?)
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths
- Automatic termination proofs with transformation orderings
- Graph path orderings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Time bounded rewrite systems and termination proofs by generalized embedding
- Topics in termination
- Title not available (Why is that?)
- Title not available (Why is that?)
- Optimization of rewriting and complexity of rewriting
- Maximal extensions of simplification orderings
- Proving Termination Using Recursive Path Orders and SAT Solving
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 Q3683533)
