Accretive computation of global transformations

DOI10.1007/978-3-030-88701-8_10OpenAlexW3210226164MaRDI QIDQ2695351

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 theoryonline algorithmrewriting systemglobal transformationsynchronous rule application

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

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