Pages that link to "Item:Q1326783"
From MaRDI portal
The following pages link to A direct method for simulating partial recursive functions by Diophantine equations (Q1326783):
Displaying 3 items.
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
