Behavior and confluence analysis of M-adhesive transformation systems using M-functors

Bibliographische Detailangaben

1. Verfasser:	Maximova, Maria (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	Berlin 2019
Schlagworte:	Verifikation Graphersetzungssystem Hochschulschrift
Online-Zugang:	kostenfrei
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!