Termination of graph transformation systems using weighted subgraph counting
type: Item
instance of: scholarly article
title: Termination of graph transformation systems using weighted subgraph counting
zbMATH Open document ID: 1545.68063
DOI: 10.1007/978-3-031-36709-0_5
author: Roy Overbeek
author: Jörg Endrullis
publication date: 2024-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 7787532
zbMATH Keywords: graph transformation
zbMATH Keywords: termination
zbMATH Keywords: pullback
zbMATH Keywords: pushout
MaRDI profile type: Publication
cites work: Q4693062
cites work: Q3783521
cites work: Q3997112
cites work: Concurrency theorems for non-linear rewriting theories
cites work: Q4856547
cites work: Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
cites work: Termination Analysis for Graph Transformation Systems
cites work: The PBPO graph transformation approach
cites work: Algebraic graph rewriting with controlled embedding
cites work: Sesqui-Pushout Rewriting
cites work: Graph Path Orderings
cites work: Fundamentals of algebraic graph transformation
cites work: Double-pushout graph transformation revisited
cites work: Q4783274
cites work: Quasitoposes, Quasiadhesive Categories and Artin Glueing
cites work: Q3817590
cites work: Foundations of Software Science and Computation Structures
cites work: Adhesive and quasiadhesive categories
cites work: Q4705609
cites work: Q5015375
cites work: From linear term rewriting to graph rewriting with preservation of termination
cites work: Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
cites work: Q4023244
cites work: On termination of graph rewriting
cites work: Q4699322
cites work: Q3837998
cites work: Modular termination of graph transformation
cites work: Fuzzy presheaves are quasitoposes
cites work: Termination of Cycle Rewriting by Transformation and Matrix Interpretation
cites work: Q3998741
cites work: Termination of Cycle Rewriting
description: scientific article; zbMATH DE number 7787532