Carst Tankink
ORCIDPublication Activity (10 Years)
Years Active: 2008-2018
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
- Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk BarendregtStatman's Hierarchy Theorem. CoRR (2017)
- Carst Tankink
- Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
- Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
- Carst Tankink
- Carst Tankink, Christoph Lange, Josef Urban
- Carst Tankink, Herman Geuvers, James McKinna
- Carst Tankink, James McKinna
- Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
- Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
- Bas Ploeger, Carst Tankink