Pages that link to "Item:Q2898463"
From MaRDI portal
The following pages link to ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence (Q2898463):
Displaying 3 items.