K. Hagens (Kasper)

PhD candidate - Software Science

K. Hagens (Kasper)
Contact
Visiting address

Toernooiveld 212
6525 EC NIJMEGEN
Internal postal code: 47

Postal address

Postbus 9010
6500 GL NIJMEGEN

Research group
Tags: Term Rewriting, Program Equivalence, Rewriting Induction

Publications

Projects

Teaching

Ancillary activities