Carregant...
Carregant...

Vés al contingut (premeu Retorn)

M-adhesive transformation systems with nested application conditions. Part 2: embedding, critical pairs and local confluence

Autor
Ehrig, H.; Golas, U.; Habel, A.; Lambers, L.; Orejas, F.
Tipus d'activitat
Article en revista
Revista
Fundamenta informaticae
Data de publicació
2012
Volum
118
Número
1-2
Pàgina inicial
35
Pàgina final
63
DOI
10.3233/FI-2012-705
Paraules clau
Critical pairs, Embeding, Graph replacement categories, Local confluence, M-adhesive categories, M-adhesive transformation systems, Nested application conditions
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

  • Ehrig, Hartmut  (autor)
  • Golas, Ulrike  (autor)
  • Habel, Annegret  (autor)
  • Lambers, Leen  (autor)
  • Orejas Valdes, Fernando  (autor)