Strategic computation and deduction

MaRDI QIDQ3086785zbMATH OpenFDO

Authors Claude Kirchner, Florent Kirchner, Hélène Kirchner

Publication date 30 March 2011

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• A rewriting point of view on strategies
• scientific article; zbMATH DE number 1418280
• Deduction, strategies, and rewriting
• Constraint based strategies
• Proof planning for strategy development

Cited in

(15)

• Annotated reasoning
• Labelled port graph -- a formal structure for models and computations
• Runtime verification for biochemical programs
• Deduction, strategies, and rewriting
• Rewriting strategies and strategic rewrite programs
• Strategies. What's in a name?
• scientific article; zbMATH DE number 3870643 (Why is no real title available?)
• A rewriting point of view on strategies
• Constraint based strategies
• A higher-order graph calculus for autonomic computing
• Determinancy with Complicated Strategies
• Strategic port graph rewriting: an interactive modelling framework
• A port graph calculus for autonomic computing and invariant verification
• scientific article; zbMATH DE number 970721 (Why is no real title available?)
• The proof monad

Describes a project that uses

Uses Software

• TPS

This page was built for publication: Strategic computation and deduction

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