Undecidability of existential properties in picture languages (Q1575948)
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: Undecidability of existential properties in picture languages |
scientific article; zbMATH DE number 1495220
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of existential properties in picture languages |
scientific article; zbMATH DE number 1495220 |
Statements
Undecidability of existential properties in picture languages (English)
0 references
23 August 2000
0 references
Post correspondence problem
0 references
rational picture languages
0 references
0.9145753
0 references
0.87897503
0 references
0.87744963
0 references
0.8667254
0 references
0.86012334
0 references
0.8580662
0 references
0.8527838
0 references
0 references
