scientific article; zbMATH DE number 4164140

MaRDI QIDQ3490953zbMATH OpenFDO

Authors Dieter Hofbauer, Ralf-Detlef Kutsche

Publication date 1989

zbMATH Keywords

confluenceterm rewriting systemsinductive theorems

Mathematics Subject Classification ID

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

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

Cited in

(15)

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

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)