Extension of the decidability of the marked PCP to instances with unique blocks (Q2373757)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extension of the decidability of the marked PCP to instances with unique blocks |
scientific article |
Statements
Extension of the decidability of the marked PCP to instances with unique blocks (English)
0 references
16 July 2007
0 references
Post correspondence problem
0 references
infinite Post correspondence problem
0 references
marked morphism
0 references
unique continuation
0 references
unique block
0 references
decidability
0 references
0 references
