Set-theoretic graph rewriting

DOI10.1007/3-540-57787-4_20zbMath1494.68120OpenAlexW1490125133MaRDI QIDQ5096290

Frédéric Voisin, Jean Claude Raoult

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00074892/file/RR-1665.pdf

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Integrated regulatory networks (IRNs): spatially organized biochemical modules

Cites Work

• On graph rewritings
• The theory of ends, pushdown automata, and second-order logic
• On ``On graph rewritings
• Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers
• Computing with rewrite systems
• Graph expressions and graph rewritings
• Complete Sets of Reductions for Some Equational Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Set-theoretic graph rewriting