Hilbert's tenth problem is of unification type zero
type: Item
instance of: scholarly article
title: Hilbert's tenth problem is of unification type zero
zbMATH Open document ID: 0781.68075
DOI: 10.1007/BF00245459
author: Mark Franzen
published in: Journal of Automated Reasoning
publication date: 1994-02-01T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 444939
zbMATH Keywords: equational theories
zbMATH Keywords: Hilbert's tenth problem
zbMATH Keywords: unification
MaRDI profile type: Publication
cites work: The theory of idempotent semigroups is of unification type zero
cites work: Unification in varieties of idempotent semigroups
cites work: Hilbert's Tenth Problem is Unsolvable
cites work: Q3335752
cites work: The Logic of Equality
cites work: New decision algorithms for finitely presented commutative semigroups
cites work: Q5613949
cites work: Complete Sets of Reductions for Some Equational Theories
cites work: Unification under associativity and idempotence is of type nullary
cites work: Unification theory
cites work: The undecidability of the DA-unification problem
description: scientific article; zbMATH DE number 444939