MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Annegret Habel – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 14 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Term Graph Narrowing  
  • by Annegret Habel, Detlef Plump — 1996 — Mathematical Structures in Computer Science
  • … Press Term Graph Narrowing ANNEGRET HABEL 1 and DETLEF PLUMP 2 1 Universitat Hildesheim, Institut…
  • Cited by 12 (2 self)Add To MetaCart
  • Satisfiability of high-level conditions  
  • by Annegret Habel, Karl-heinz Pennemann — in: Graph Transformations (ICGT’06), LNCS 4178 (2006
  • …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  
  • by Annegret Habel, Detlef Plump, Fachbereich Informatik — 2001
  • …://www.elsevier.nl/locate/entcs/volume51.html 12 pages Solving Equations by Graph Transformation ? Annegret Habel 1 Fachbereich…
  • Add To MetaCart
  • Complete strategies for term graph narrowing  
  • by Annegret Habel, Detlef Plump, Universität Oldenburg, Fachbereich Informatik — 1999 — In Recent Developments in Algebraic Development Techniques, Selected Papers, volume 1589 of LNCS
  • …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  
  • by Annegret Habel, Jürgen Müller, Detlef Plump — 1999 — In Proc. Theory and Application of Graph Transformation, Lecture Notes in Computer Science
  • …Double-Pushout Approach with Injective Matching ⋆ Annegret Habel 1 ,Jürgen Müller 2 , and Detlef…
  • Cited by 1 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB