ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Cynthia Kop

Registered user since Tue 19 Feb 2019

Name:Cynthia Kop
Affiliation:Radboud University Nijmegen
Research interests:higher-order term rewriting, implicit complexity, program verification


PERR 2019 Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
DICE-FOPARA 2019 (Invited Talk) Cons-free Rewriting
ESOP 2019 A static higher-order dependency pair framework
Show activities from other conferences

ETAPS 2019-profile
View general profile