scientific article; zbMATH DE number 2016072

MaRDI QIDQ4438775zbMATH OpenFDO

Authors Detlef Plump, Annegret Habel

Publication date 10 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2505/25050135.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Formal Methods in Software and Systems Modeling
• M, N-adhesive transformation systems
• Double-pushout graph transformation revisited
• scientific article; zbMATH DE number 139800
• scientific article; zbMATH DE number 1504830

Cited in

(18)

• The PBPO graph transformation approach
• Reducibility between classes of port graph grammar.
• Monadic second-order incorrectness logic for GP 2
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• Incorrectness logic for graph programs
• Verifying graph programs with monadic second-order logic
• Theorem proving graph grammars with attributes and negative application conditions
• Double-pushout graph transformation revisited
• M, N-adhesive transformation systems
• scientific article; zbMATH DE number 1504830 (Why is no real title available?)
• scientific article; zbMATH DE number 1759541 (Why is no real title available?)
• GMTE: a tool for graph transformation and exact/inexact graph matching
• scientific article; zbMATH DE number 7456056 (Why is no real title available?)
• Preserving consistency in geometric modeling with graph transformations
• Formal Methods in Software and Systems Modeling
• Linear-time graph algorithms in GP 2
• Graph rewriting and relabeling with PBPO^+: a unifying theory for quasitoposes
• Rule-based graph programs matching the time complexity of imperative algorithms

Describes a project that uses

Uses Software

• PLUMP

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