Pages that link to "Item:Q5903327"
From MaRDI portal
The following pages link to Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations (Q5903327):
Displaying 4 items.
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Transcendental Numbers and Eventual Dominance of Exponential Functions (Q3757906) (← links)
- Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations (Q5903519) (← links)