Subsumptions of algebraic rewrite rules

DOI10.4204/EPTCS.397.2MaRDI QIDQ6946704zbMATH OpenFDO

Authors Thierry Boy de la Tour

Publication date 5 August 2025

Copyright license Creative Commons license

Full work available at URL https://doi.org/10.4204/EPTCS.397.2

Mathematics Subject Classification ID

General theory of categories and functors (18A99) Grammars and rewriting systems (68Q42)

Cites work

• Adhesive and quasiadhesive categories
• Algebraic approach to single-pushout graph transformation
• Cellular automata and Kan extensions
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Non-determinism in lindenmayer systems and global transformations
• Parallel coherent graph transformations
• Parallel rewriting of attributed graphs
• Polymorphic sesqui-pushout graph rewriting
• Sesqui-Pushout Rewriting
• The PBPO graph transformation approach

This page was built for publication: Subsumptions of algebraic rewrite rules

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