Items where authors include "Habel, Annegret"

Proceedings Paper

Plump, Detlef orcid.org/0000-0002-1148-822X and Habel, Annegret (2002) Complete Strategies for Term Graph Narrowing. In: Fiadeiro, José Luiz, (ed.) Recent Trends in Algebraic Development Techniques (WADT 1998), Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Berlin, Heidelberg , pp. 152-167.

Plump, Detlef orcid.org/0000-0002-1148-822X, Habel, Annegret and Müller, Jürgen (2000) Double-Pushout Approach with Injective Matching. In: 6th International Workshop on Theory and Application of Graph Transformations (TAGT 98), Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 103-116.

Plump, Detlef orcid.org/0000-0002-1148-822X and Habel, Annegret (1996) Graph Unification and Matching. In: Graph Grammars and Their Application to Computer Science, Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 75-89.

Habel, Annegret, Kreowski, Hans-Jörg and Plump, DETLEF orcid.org/0000-0002-1148-822X (1988) Jungle Evaluation. In: Recent Trends in Data Type Specification (WADT 1987), Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 92-112.