scientific article

zbMath1226.03027MaRDI QIDQ3086785

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

Publication date: 30 March 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Runtime verification for biochemical programs, Rewriting Strategies and Strategic Rewrite Programs, Strategic port graph rewriting: an interactive modelling framework, A Port Graph Calculus for Autonomic Computing and Invariant Verification, The proof monad, A Higher-Order Graph Calculus for Autonomic Computing, Labelled port graph -- a formal structure for models and computations

Uses Software

• TPS