Conditional rewriting in focus

DOI10.1007/3-540-54317-1_77OpenAlexW1542881312MaRDI QIDQ5881263

Uday S. Reddy, Francois Bronsard

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

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

Related Items

Reduction techniques for first-order reasoning ⋮ Implementing contextual rewriting ⋮ Open problems in rewriting ⋮ Problems in rewriting III ⋮ Induction using term orders ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ A general framework to build contextual cover set induction provers ⋮ Induction using term orderings ⋮ Deductive and inductive synthesis of equational programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orderings for term-rewriting systems
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Proof normalization for resolution and paramodulation
• Rewriting techniques for program synthesis
• Axiomatization of a functional logic language