The undecidability of the semi-unification problem
type: Item
instance of: scholarly article
title: The undecidability of the semi-unification problem
zbMATH Open document ID: 0769.68059
author: Assaf Kfoury
author: Jerzy Tiuryn
author: Paweł Urzyczyn
published in: Information and Computation
publication date: 1993-05-16T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 165621
zbMATH Keywords: Semi-Unification Problem
zbMATH Keywords: Turing machines
zbMATH Keywords: undecidability
zbMATH Keywords: boundedness
Wikidata QID: Q61634982
MaRDI profile type: Publication
full work available at URL: inco.1993.1003
OpenAlex ID: W1993695344
DOI: 10.1006/INCO.1993.1003
description: scientific article; zbMATH DE number 165621