Accretive computation of global transformations

DOI10.1007/978-3-030-88701-8_10MaRDI QIDQ2695351zbMATH OpenOpenAlexFDO

Authors Alexandre Fernandez, Luidnel Maignan, Antoine Spicher

Publication date 30 March 2023

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

zbMATH Keywords

category theoryglobal transformationonline algorithmrewriting systemsynchronous rule application

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A sheaf-theoretic approach to pattern matching and related problems
• Adhesive and quasiadhesive categories
• Amalgamation of graph transformations: a synchronization mechanism
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Fast Pattern Matching in Strings
• Fundamentals of algebraic graph transformation
• Lindenmayer systems and global transformations
• Parallelism and concurrency of graph manipulations
• Sesqui-Pushout Rewriting

Cited in

(3)

• Population Computation of Vectorial Transformations
• Accretive Computation of Global Transformations
• Cellular automata and Kan extensions

This page was built for publication: Accretive computation of global transformations

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