Radboud University NijmegenActivity: Visiting external institutions › Research stay Persons and affiliationsPatrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science (Visitor) Date19 Sept 2022 → 23 Sept 2022 Visited organisationNameRadboud University NijmegenCityNijmegenCountryNetherlands Keywords