Successful visual human-computer interaction is undecidable

DOI10.1016/S0020-0190(98)00082-9zbMATH Open1339.68194OpenAlexW2028273661MaRDI QIDQ293299

Stefano Levialdi, Paolo Bottoni, Gheorghe Păun

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098000829?np=y

zbMATH Keywords

Post correspondence probleminteractive computingvisual languages

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Theory of computing (68Q99)

Cites Work

• Unnamed Item
• Unnamed Item
• A note on Post's correspondence problem
• A variant of a recursively unsolvable problem

Related Items (1)

Rectangular tileability and complementary tileability are undecidable

This page was built for publication: Successful visual human-computer interaction is undecidable