Activities per year
- 30 results
Search results
-
Speeding up Graph Transformation
Detlef Plump (Invited speaker)
7 Apr 2024Activity: Talk or presentation › Invited talk
-
Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 2019)
Detlef Plump (Invited speaker)
5 Sept 2019 → 6 Sept 2022Activity: Talk or presentation › Invited talk
-
Rule-Based Graph Programming
Detlef Plump (Invited speaker)
31 Jul 2018Activity: Talk or presentation › Invited talk
-
Computational Completeness of Simple Graph Programs
Detlef Plump (Invited speaker)
28 May 2014Activity: Talk or presentation › Invited talk
-
Minimizing Finite Automata with Graph Programs
Detlef Plump (Invited speaker)
13 Mar 2013Activity: Talk or presentation › Invited talk
-
Graph Programs
Detlef Plump (Invited speaker)
13 Mar 2013Activity: Talk or presentation › Invited talk
-
Graph Programs
Detlef Plump (Invited speaker)
19 Feb 2013Activity: Talk or presentation › Invited talk
-
The Design of GP 2
Detlef Plump (Invited speaker)
16 Dec 2011Activity: Talk or presentation › Invited talk
-
The Graph Programming Language GP
Detlef Plump (Invited speaker)
1 Nov 2011Activity: Talk or presentation › Invited talk
-
Graph Programs: Semantics, Verification and Implementation
Detlef Plump (Invited speaker)
7 Jul 2011Activity: Talk or presentation › Invited talk
-
Safe Pointers by Graph Transformation
Detlef Plump (Invited speaker)
24 Feb 2011Activity: Talk or presentation › Invited talk
-
GP: Language and Environment
Detlef Plump (Invited speaker)
2 Mar 2007Activity: Talk or presentation › Invited talk
-
GP: Language and Environment
Detlef Plump (Speaker)
31 Jan 2007Activity: Talk or presentation › Invited talk
-
Safe Pointers by Graph Transformation
Detlef Plump (Invited speaker)
23 Jan 2007Activity: Talk or presentation › Invited talk
-
GP: Language and Environment
Detlef Plump (Invited speaker)
18 Jan 2007Activity: Talk or presentation › Invited talk
-
Graph Transformation
Detlef Plump (Invited speaker)
5 Feb 2003Activity: Talk or presentation › Invited talk
-
A Complete and Minimal Programming Language for Graph Transformation
Detlef Plump (Invited speaker)
15 Mar 2002Activity: Talk or presentation › Invited talk
-
Term Graph Rewriting
Detlef Plump (Invited speaker)
19 Oct 2000Activity: Talk or presentation › Invited talk
-
Computing by Graph Rewriting
Detlef Plump (Speaker)
12 Jun 2000Activity: Talk or presentation › Invited talk
-
Computing by Graph Rewriting
Detlef Plump (Speaker)
22 May 2000Activity: Talk or presentation › Invited talk
-
-
-
-
-
Strategies for Term Graph Narrowing
Detlef Plump (Invited speaker)
27 Aug 1998Activity: Talk or presentation › Invited talk
-
Simplification Orders for Term Graph Rewriting
Detlef Plump (Invited speaker)
28 Oct 1997Activity: Talk or presentation › Invited talk
-
Unifikation von Graphen und Termgraphen
Detlef Plump (Invited speaker)
23 May 1996Activity: Talk or presentation › Invited talk
-
Termgraphersetzung
Detlef Plump (Invited speaker)
7 Mar 1996Activity: Talk or presentation › Invited talk
-
Term Graph Rewriting vs. Term Rewriting
Detlef Plump (Invited speaker)
25 Jan 1996Activity: Talk or presentation › Invited talk
-
Implementierung von Termersetzung durch Dschungelauswertung
Detlef Plump (Invited speaker)
7 Dec 1989Activity: Talk or presentation › Invited talk