Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03491727n
Noun Concept
Categories: Undecidable problems, Theory of computation, Computability theory
EN
Post correspondence problem  Bounded post correspondence problem  Bounded PCP  Marked PCP  Marked Post Correspondence Problem
EN
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Wikipedia
Definitions
Relations
Sources
EN
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Wikipedia
An important problem in computability theory Wikipedia Disambiguation
Decision problem Wikidata
IS A
decision problem
DIFFERENT FROM
phencyclidine
DISCOVERER OR INVENTOR
Emil Leon Post
NAMED AFTER
Emil Leon Post
Wikipedia
EN
Post correspondence problem
Wikidata
EN
Post correspondence problem
Wikipedia Redirections
EN
Bounded PCP, Bounded Post correspondence problem, Bounded post correspondence problem, Marked PCP, Marked Post Correspondence Problem, Post's correspondence problem, Post correspondance problem
Wikidata Alias
EN
Post's correspondence problem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License