On the specification of visual languages: multisets as first-class citizens

DOI10.1007/BFB0037422MaRDI QIDQ6560194zbMATH OpenFDO

Authors Massimo Marchiori

Publication date 21 June 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080935
• A Term-Graph Syntax for Algebras over Multisets
• Multilevel graph grammars
• scientific article; zbMATH DE number 1304453
• scientific article; zbMATH DE number 2079664

Cites work

• scientific article; zbMATH DE number 918204 (Why is no real title available?)
• A total AC-compatible ordering based on RPO
• Complete Sets of Reductions for Some Equational Theories
• Completion of a Set of Rules Modulo a Set of Equations
• Foundations of equational logic programming
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modularity of completeness revisited
• On the modularity of termination of term rewriting systems

This page was built for publication: On the specification of visual languages: multisets as first-class citizens

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560194)