Inge Bethke

Inge Bethke

Associate Professor

UvA Informatics Institute

Interests
  • process algebra
  • meadows
  • term rewriting