Previous
Previous

Group photo in September 2023

Next
Next

Many bounded versions of undecidable problems are NP-hard