Categorial graphs

DOI10.1007/3-540-60249-6_58MaRDI QIDQ5055898zbMATH OpenOpenAlexFDO

Authors Erik de Haas

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_58

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• CGOOD, a categorical graph-oriented object data model
• Syntax and semantics of hybrid database languages
• scientific article; zbMATH DE number 4064450
• scientific article; zbMATH DE number 3972251
• scientific article; zbMATH DE number 3986681

Cites work

• A logic for programming with complex objects
• Computing on structures
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 1047509 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• Linear logic
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics

Cited in

(7)

• A category of ``undirected graphs. A tribute to Hartmut Ehrig
• CATEGORIFICATION VIA EQUIPPED GRAPHS
• Graph Transformation by Computational Category Theory
• Categorified Reeb graphs
• Categorical Foundations of Distributed Graph Transformation
• scientific article; zbMATH DE number 1410953 (Why is no real title available?)
• Simple confluently persistent catenable lists

This page was built for publication: Categorial graphs

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