scientific article; zbMATH DE number 3372034

zbMath0235.02039MaRDI QIDQ5643974

Yu. V. Matiyasevich

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (10)

Diophantine representations of linear recurrences. I ⋮ On the application of Skolem's p-adic method to the solution of Thue equations ⋮ On polynomial-modular recursive sequences ⋮ A new probabilistic constraint logic programming language based on a generalised distribution semantics ⋮ A new proof of the theorem on exponential diophantine representation of enumerable sets ⋮ On a Diophantine representation of the predicate of provability ⋮ Hilbert's tenth problem ⋮ Arithmetical representations of enumerable sets with a small number of quantifiers ⋮ Theory of proofs (arithmetic and analysis) ⋮ Complete sets of unifiers and matchers in equational theories

This page was built for publication: