generalized Post correspondence problem

URI: https://gptkb.org/entity/generalized_Post_correspondence_problem
GPTKB entity
Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:theoretical_computer_science
gptkbp:describedBy gptkb:Post,_E._L._(1946)._A_variant_of_a_recursively_unsolvable_problem._Bulletin_of_the_American_Mathematical_Society.
gptkbp:field gptkb:theoretical_computer_science
computability theory
gptkbp:generalizes gptkb:Post_correspondence_problem
gptkbp:introduced gptkb:Emil_Post
gptkbp:relatedTo gptkb:Post_correspondence_problem
gptkbp:undecidable true
gptkbp:bfsParent gptkb:Post_correspondence_problem
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label generalized Post correspondence problem
Please wait…