Suchergebnisse - Habel, Annegret
- Treffer 1 – 12 von 12
-
1Weakest preconditions for high-level programs: (long version)Veröffentlicht 2006Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Hyperedge replacement: grammars and languagesVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
3Improving the quality of hypertexts using graph transformationVeröffentlicht 2002Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Double pushout graph transformation revisitedVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Hyperedge replacement: grammars and languagesVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
6Term graph narrowingVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Chain code pictures and collages generated by hyperedge replacementVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Characteristics of graph languages generated by edge replacementVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Concurrency in Graph-GrammatikenVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Concurrency in Graph-GrammatikenVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Local confluence for rules with nested application conditions based on a new critical pair notionVeröffentlicht 2010Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Elektronisch E-Book -
12Hyperedge replacement: grammars and languagesVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …