Searching for authors named Annegret Habel – sorted by Relevance.
-
A Core Language for Graph Transformation (Extended Abstract)
- A Core Language for Graph Transformation (Extended Abstract) Annegret Habel 1 and Detlef Plump 2
- Add To MetaCart
-
Computational Completeness of Programming Languages Based on Graph Transformation
- Computational Completeness of Programming Languages Based on Graph Transformation Annegret Habel 1
- Cited by 10 (4 self) – Add To MetaCart
-
Term Graph Narrowing
- Press Term Graph Narrowing ANNEGRET HABEL 1 and DETLEF PLUMP 2 1 Universitat Hildesheim, Institut
- Cited by 12 (2 self) – Add To MetaCart
-
Unification, Rewriting, and Narrowing on Term Graphs
- ://www.elsevier.nl/locate/entcs/volume2.html 8 pages Unification, Rewriting, and Narrowing on Term Graphs 1 Annegret Habel Institut fur
- Cited by 1 (0 self) – Add To MetaCart
-
Satisfiability of high-level conditions
- Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann Carl v. Ossietzky
- Cited by 1 (1 self) – Add To MetaCart
-
Solving Equations by Graph Transformation
- ://www.elsevier.nl/locate/entcs/volume51.html 12 pages Solving Equations by Graph Transformation ? Annegret Habel 1 Fachbereich
- Add To MetaCart
-
Adhesive high-level replacement categories and systems
- Adhesive High-Level Replacement Categories and Systems Hartmut Ehrig 1 , Annegret Habel 2 , Julia
- Cited by 17 (6 self) – Add To MetaCart
-
Double-Pushout Graph Transformation Revisited
- Transformation Revisited y ANNEGRET HABEL 1 , J URGEN M ULLER 2 , and DETLEF PLUMP 3 1 Universit
- Cited by 14 (7 self) – Add To MetaCart
-
Complete strategies for term graph narrowing
- Complete Strategies for Term Graph Narrowing ⋆ Annegret Habel 1 and Detlef Plump 2⋆⋆ 1 Universität
- Cited by 3 (1 self) – Add To MetaCart
-
Double-pushout approach with injective matching
- Double-Pushout Approach with Injective Matching ⋆ Annegret Habel 1 ,Jürgen Müller 2 , and Detlef
- Cited by 1 (1 self) – Add To MetaCart

