Strategic computation and deduction

zbMATH Open1226.03027MaRDI QIDQ3086785FDOQ3086785

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

Publication date: 30 March 2011

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (12)

• Annotated reasoning
• Constraint based strategies
• A Port Graph Calculus for Autonomic Computing and Invariant Verification
• Runtime verification for biochemical programs
• The proof monad
• Title not available (Why is that?)
• A higher-order graph calculus for autonomic computing
• Rewriting Strategies and Strategic Rewrite Programs
• 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

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)