Mirte van der Eyden

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Decreasing Function

Multiple Versions

Top Venues

Publications

Andreas Klingler, Mirte van der Eyden, Sebastian Stengele, Tobias Reinhart, Gemma De las Cuevas
Many bounded versions of undecidable problems are NP-hard. CoRR (2022)