The following pages link to (Q3964549):
Displaying 5 items.
- Towards finite-fold Diophantine representations (Q393229) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- (Q2777515) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
