ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
STAF 2023 (series) / ICGT 2023 (series) / Detlef Plump

Not registered as user yet

Name:Detlef Plump
Country:United Kingdom
Affiliation:University of York
Personal website:https://www-users.cs.york.ac.uk/det/

Contributions

ICGT 2023 Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
Steering Committee Member in Steering Committee
Fast Rule-Based Graph Programs
Committee Member in Program Committee within the Research Papers-track
GCM 2023 PC Member in Program Committee within the GCM 2023-track
Show activities from other conferences

Using general profile