1994•Annals of Pure and Applied LogicOpen access
A direct method for simulating partial recursive functions by Diophantine equations
Yuri Matiyasevich
Open full text 5 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.
Open-access reader