![Detlef Plump](https://conf.researchr.org/getProfileImage/detlefplump/e24d0329-a2d7-42bc-b793-0d8a7a48cff5/small.jpg?1711569788000)
Registered user since Wed 15 Nov 2023
Name:Detlef Plump
Country:United Kingdom
Affiliation:University of York
Personal website: https://www-users.cs.york.ac.uk/det/
Contributions
2023
ICGT
- Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
- Session Chair of ICGT Session 5: Blue Skies & Journal-First (part of Research Papers)
- Steering Committee Member in Steering Committee
- Fast Rule-Based Graph Programs
- Committee Member in Program Committee within the Research Papers-track
STAF 2023-profile
View general profile
View general profile