(Q798572)

English

Post correspondence problem

undecidable decision problem

  • Post's correspondence problem

Statements

1946
0 references
0 references

Identifiers