Conditional rewriting in focus

DOI10.1007/3-540-54317-1_77MaRDI QIDQ5881263zbMATH OpenOpenAlexFDO

Authors Francois Bronsard, Uday S. Reddy

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_77

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 794241
• Implementing contextual rewriting
• scientific article; zbMATH DE number 3921957
• Conditional rewriting logic: Deduction, models and concurrency
• Recent Trends in Algebraic Development Techniques

Cites work

• Axiomatization of a functional logic language
• scientific article; zbMATH DE number 3956434 (Why is no real title available?)
• scientific article; zbMATH DE number 4043306 (Why is no real title available?)
• scientific article; zbMATH DE number 4047063 (Why is no real title available?)
• scientific article; zbMATH DE number 4049135 (Why is no real title available?)
• scientific article; zbMATH DE number 4053061 (Why is no real title available?)
• scientific article; zbMATH DE number 4089521 (Why is no real title available?)
• Orderings for term-rewriting systems
• Proof normalization for resolution and paramodulation
• Rewriting techniques for program synthesis
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Term rewriting induction

Cited in

(14)

• Deductive and inductive synthesis of equational programs
• Induction using term orders
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 794241 (Why is no real title available?)
• Open problems in rewriting
• Problems in rewriting III
• Mechanically certifying formula-based Noetherian induction reasoning
• Induction using term orderings
• Reduction techniques for first-order reasoning
• Implementing contextual rewriting
• A general framework to build contextual cover set induction provers
• A unified view of induction reasoning for first-order logic

This page was built for publication: Conditional rewriting in focus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881263)