A Term-Graph Syntax for Algebras over Multisets

DOI10.1007/978-3-642-03429-9_11MaRDI QIDQ3184730zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci

Publication date 22 October 2009

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03429-9_11

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 193710
• Syntactic semigroups and graph algebras
• scientific article; zbMATH DE number 4049108
• Formal Methods in Software and Systems Modeling
• The Equational Logic For Graph Algebras
• An algebraic presentation of term graphs, via gs-monoidal categories
• scientific article; zbMATH DE number 177440
• scientific article; zbMATH DE number 517053
• Basic notions of universal algebra for language theory and graph grammars
• Manipulating algebraic specifications with term-based and graph-based representations

Cites work

• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• An algebraic presentation of term graphs, via gs-monoidal categories
• Categorical rewriting of term-like structures
• Classes of finite relations as initial abstract data types. II
• Counting Paths: Nondeterminism as Linear Algebra
• Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
• Graph rewriting for the π-calculus
• Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7--12, 2002. Proceedings
• scientific article; zbMATH DE number 432732 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Institution-independent model theory
• Normal forms for algebras of connections.
• Quantifier-free logic for nondeterministic theories
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Traced monoidal categories

Cited in

(6)

• Term charters
• Relational treatment of term graphs with bound variables
• Recent Trends in Algebraic Development Techniques
• From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
• On the specification of visual languages: multisets as first-class citizens
• A taxonomy of categories for relations

This page was built for publication: A Term-Graph Syntax for Algebras over Multisets

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