ICGT 2023
Wed 19 - Thu 20 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Registration
Social Events
History
Program
Complete Program
Your Program
Wed 19 Jul
Thu 20 Jul
Tracks
ICGT 2023
Keynotes
Research Papers
Journal-First
Organization
ICGT 2023 Committees
Steering Committee
Track Committees
Research Papers
Journal-First
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2023
(
series
) /
ICGT 2023
(
series
) /
Detlef Plump
STAF 2023 profile
conf.research.org general profile
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
Share
Using general profile
x
Mon 29 May 00:35