Undecidability of existential properties in picture languages
type: Item
instance of: scholarly article
title: Undecidability of existential properties in picture languages
zbMATH Open document ID: 0952.68083
DOI: 10.1016/S0304-3975(97)00279-X
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 1495220
zbMATH Keywords: Post correspondence problem
zbMATH Keywords: rational picture languages
author: Denis Robilliard
author: David Simplot
MaRDI profile type: Publication
cites work: An undecidable problem about rational sets and contour words of polyominoes
cites work: Q3859267
cites work: Q4320806
cites work: Q4206414
cites work: Decision problems and regular chain code picture languages
cites work: Q4079524
cites work: The membership and equivalence problems for picture languages
cites work: Composed figures of pixels and inverse monoid
cites work: On characterizations of recursively enumerable languages
cites work: Using string languages to describe picture languages
cites work: Recursive Unsolvability of a problem of Thue
cites work: Complexity and decidability for chain code picture languages
Wikidata QID: Q126644374
Recommended article: Undecidability of the emptiness problem for context-free picture languages
Recommended article: Complexity and decidability for restricted classes of picture languages
Recommended article: Undecidable properties of syntactic theories
Recommended article: Two undecidability results for chain code picture languages
Recommended article: Decidability of the consistency problem for regular symbolic picture description languages
Recommended article: Undecidable properties of extensions of the logic of provability
Recommended article: Decision Problems for Recognizable Languages of Infinite Pictures
Recommended article: Q4065053
Recommended article: The membership and equivalence problems for picture languages
Recommended article: Undecidability of Propositional Separation Logic and Its Neighbours
description: scientific article; zbMATH DE number 1495220