Article,

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.

, , , , and .
Fundam. Informaticae, 118 (1-2): 35-63 (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews