scientific article; zbMATH DE number 7456055

MaRDI QIDQ5021225

Russ Harmer, Eugenia Oshurko

Publication date: 12 January 2022

Full work available at URL: https://arxiv.org/abs/2012.01661

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Fundamentals of compositional rewriting theory ⋮ Computational category-theoretic rewriting

Uses Software

• openCypher

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exponentiable morphisms, partial products and pullback complements
• Polymorphic Sesqui-Pushout Graph Rewriting
• Reversible Sesqui-Pushout Rewriting
• Sesqui-Pushout Rewriting
• Parallelism and concurrency in high-level replacement systems
• Conflict Detection for Model Versioning Based on Graph Modifications
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Knowledge representation and update in hierarchies of graphs

This page was built for publication: