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