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

Saved in:

Bibliographic Details
Title:	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.
Authors:	Ehrig, Hartmut¹, Golas, Ulrike², Habel, Annegret³, Lambers, Leen⁴, Orejas, Fernando⁵
Source:	Fundamenta Informaticae; 2012, Vol. 118 Issue 1-2, p35-63, 29p, 5 Diagrams
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/fi-2012-705