The following pages link to Detlef Plump (Q516037):
Displaying 18 items.
- From imperative to rule-based graph programs (Q516038) (← links)
- Hierarchical graph transformation (Q1608318) (← links)
- Probabilistic graph programs for randomised and evolutionary algorithms (Q1663980) (← links)
- Modular termination of graph transformation (Q1708192) (← links)
- Graph transformation for specification and programming (Q1806128) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Verifying graph programs with monadic second-order logic (Q2117269) (← links)
- Double-pushout graph transformation revisited (Q2762625) (← links)
- (Q2769432) (← links)
- (Q2852056) (← links)
- Hoare-Style Verification of Graph Programs (Q2898467) (← links)
- $\mathcal M, \mathcal N$ -Adhesive Transformation Systems (Q2918983) (← links)
- Verifying Monadic Second-Order Properties of Graph Programs (Q3192221) (← links)
- The York Abstract Machine (Q5404181) (← links)
- (Q5875357) (← links)
- Evolving graphs with semantic neutral drift (Q6095481) (← links)
