Extension of the decidability of the marked PCP to instances with unique blocks (Q2373757)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extension of the decidability of the marked PCP to instances with unique blocks |
scientific article; zbMATH DE number 5171372
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extension of the decidability of the marked PCP to instances with unique blocks |
scientific article; zbMATH DE number 5171372 |
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
0.8591292500495911
0 references
0.8591101765632629
0 references