Skip to main content

David Gajser: Neodločljivi problemi brez prevedb

Date of publication: 7. 5. 2013
Graph theory and algorithms seminar
Četrtek 9. 5. 2013 ob 12:15 v PS na Jadranski 19.
Znanih je veliko neodločljivih problemov in pri večini se neodločljivost dokaže s prevedbo iz že znanega neodločljivega problema. Neodločljivost nekaterih problemov pa gre pokazati brez prevedb ...