scientific article; zbMATH DE number 4164140

zbMATH Open0708.68028MaRDI QIDQ3490953FDOQ3490953

Authors: Dieter Hofbauer, Ralf-Detlef Kutsche 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Term rewriting induction
• Rewriting Techniques and Applications
• How to prove equivalence of term rewriting systems without induction
• scientific article; zbMATH DE number 4203770
• Term Rewriting and Applications

zbMATH Keywords

confluenceterm rewriting systemsinductive theorems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03)

Cited In (15)

• Term rewriting induction
• Rewriting Techniques and Applications
• Induction using term orders
• Focused Inductive Theorem Proving
• Testing for the ground (co-)reducibility property in term-rewriting systems
• Title not available (Why is that?)
• Natural inductive theorems for higher-order rewriting
• Title not available (Why is that?)
• Dealing with Non-orientable Equations in Rewriting Induction
• How to prove equivalence of term rewriting systems without induction
• Induction using term orderings
• Proof Terms for Infinitary Rewriting
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
• Inductive theorem proving based on tree grammars
• Inductive theorem proving for design specifications

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 Q3490953)