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

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

Recommendations

• A rewriting point of view on strategies
• Publication:4941840
• Deduction, strategies, and rewriting
• Constraint based strategies
• Proof planning for strategy development

Cited in

(14)

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

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)