Search Results - Habel, Annegret
- Showing 1 – 12 results of 12
-
1Weakest preconditions for high-level programs: (long version)Published 2006Call Number: Loading…
Located: Loading…Book Loading… -
2Hyperedge replacement: grammars and languagesPublished 1992Call Number: Loading…
Located: Loading…Thesis/Dissertation Book Loading… -
3Improving the quality of hypertexts using graph transformationPublished 2002Call Number: Loading…
Located: Loading…Book Loading… -
4Double pushout graph transformation revisitedPublished 1999Call Number: Loading…
Located: Loading…Book Loading… -
5Hyperedge replacement: grammars and languagesPublished 1992Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
6Term graph narrowingPublished 1996Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
7Chain code pictures and collages generated by hyperedge replacementPublished 1995Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
8Characteristics of graph languages generated by edge replacementPublished 1985Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
9Concurrency in Graph-GrammatikenPublished 1980Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
10Concurrency in Graph-GrammatikenPublished 1980Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
11Local confluence for rules with nested application conditions based on a new critical pair notionPublished 2010Call Number: Loading…Read online (freely available)
Located: Loading…
Order via interlibrary loanElectronic eBook Loading… -
12Hyperedge replacement: grammars and languagesPublished 1989Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading…