A note on Post's correspondence problem
type: Item
instance of: scholarly article
title: A note on Post's correspondence problem
zbMATH Open document ID: 0485.03018
DOI: 10.1016/0020-0190(81)90020-X
published in: Information Processing Letters
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 03D03
zbMATH DE Number: 3762036
zbMATH Keywords: Matiyasevich's 3-rule Thue system with undecidable word problem
zbMATH Keywords: 5-rule semi-Thue system
zbMATH Keywords: undecidability
author: Jean-Jacques Pansiot
MaRDI profile type: Publication
cites work: Q5583066
cites work: Q3940867
full work available at URL: 0020-0190(81)90020-x
OpenAlex ID: W1970280218
description: scientific article; zbMATH DE number 3762036