scientific article; zbMATH DE number 177453

MaRDI QIDQ4037324zbMATH OpenFDO

Authors Martin Korff

Publication date 18 May 1993

zbMATH Keywords

AI problemsgraph grammarsrule independencyrule-based systemsearch-treessearchingspecifications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4049117
• On structured graph grammars. I
• scientific article; zbMATH DE number 3845096
• scientific article; zbMATH DE number 177433
• scientific article; zbMATH DE number 177419

Cited in

(8)

• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Matrix Graph Grammars with Application Conditions
• scientific article; zbMATH DE number 4049117 (Why is no real title available?)
• scientific article; zbMATH DE number 67842 (Why is no real title available?)
• scientific article; zbMATH DE number 1930933 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Single pushout transformations of equationally defined graph structures with applications to actor systems
• Using a graph grammar system in the finite element method

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