scientific article; zbMATH DE number 1538008

MaRDI QIDQ4518863zbMATH OpenFDO

Authors Alessandro Armando, Silvio Ranise

Publication date 30 October 2001

zbMATH Keywords

constraint contextual rewritingdecision procedures in formula simplification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Constraint contextual rewriting.
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 794241
• Implementing contextual rewriting
• scientific article; zbMATH DE number 1765707

Cited in

(7)

• Incorporating decision procedures in implicit induction.
• Constraint contextual rewriting.
• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Maple's evaluation process as constraint contextual rewriting
• Specifying termination in CSP
• The control layer in open mechanized reasoning systems: Annotations and tactics

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