Login / Signup

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

Hartmut EhrigUlrike GolasAnnegret HabelLeen LambersFernando Orejas
Published in: Fundam. Informaticae (2012)
Keyphrases