Pages that link to "Item:Q2947211"

From MaRDI portal

← Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211)

Jump to:navigation, search

The following pages link to Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211):

Displayed 2 items.

Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) ‎ (← links)
Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"