The following pages link to (Q4115143):
Displaying 50 items.
- Diophantine equations and the generalized Riemann hypothesis (Q548056) (← links)
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 (Q701108) (← links)
- A public key cryptosystem based on Diophantine equations of degree increasing type (Q740123) (← links)
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets (Q790804) (← links)
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- On diophantine equations over the ring of all algebraic integers (Q793094) (← links)
- Division-ample sets and the Diophantine problem for rings of integers (Q819874) (← links)
- Further results on Hilbert's tenth problem (Q829448) (← links)
- An undecidability result for AGh (Q859845) (← links)
- Hilbert's tenth problem for fields of rational functions over finite fields (Q910434) (← links)
- Rumely's local global principle for weakly P\(\mathcal S\)C fields over holomorphy domains (Q1038623) (← links)
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
- Riemann's hypothesis as an eigenvalue problem (Q1081633) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
- On some decision problems for RAM programs (Q1159463) (← links)
- On nonstochastic languages and homomorphic images of stochastic languages (Q1163382) (← links)
- Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0 (Q1183265) (← links)
- My collaboration with Julia Robinson (Q1208619) (← links)
- Remarks on commutative N-rational series (Q1242693) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- The logic of pseudo-\(S\)-integers (Q1380507) (← links)
- On some bounded semiAFLs and AFLs (Q1837538) (← links)
- Defining integrality at prime sets of high density in number fields. (Q1974973) (← links)
- On a theorem of Matiyasevich (Q2210378) (← links)
- On decision problems for parameterized machines (Q2268878) (← links)
- Diophantine complexity (Q2276953) (← links)
- The Riemann hypothesis in computer science (Q2286749) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- Existential Diophantine definability of string length (Q2419123) (← links)
- Conjecturally computable functions which unconditionally do not have any finite-fold Diophantine representation (Q2445235) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation''; and some uncomputable quantum mechanical tasks (Q2497885) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- A key exchange protocol based on Diophantine equations and S-integers (Q3121371) (← links)
- My Life as a Logician (Q3305314) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- A Story of Hilbert’s Tenth Problem (Q3305317) (← links)
- Pragmatic Platonism (Q3305328) (← links)
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm (Q3357550) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- The quest for Diophantine finite-fold-ness (Q3383639) (← links)
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers (Q3508028) (← links)
- (Q3665095) (← links)
- About the decision of reachability for register machines (Q4405553) (← links)
- Seven Kinds of Computable and Constructive Infelicities in Economics (Q4598050) (← links)
