Pages that link to "Item:Q4152529"
From MaRDI portal
The following pages link to The Diophantine Problem for Addition and Divisibility (Q4152529):
Displayed 28 items.
- On parametric timed automata and one-counter machines (Q515666) (← links)
- The complexity of almost linear diophantine problems (Q753494) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- On the solvability of a class of Diophantine equations and applications (Q818150) (← links)
- A view of computability on term algebras (Q1051428) (← links)
- A note on Parikh maps, abstract languages, and decision problems (Q1065555) (← links)
- On two-way nondeterministic finite automata with one reversal-bounded counter (Q1763701) (← links)
- On two-way FA with monotonic counters and quadratic Diophantine equations (Q1884954) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma (Q2239081) (← links)
- NP-complete problems for systems of linear polynomial's values divisibilities (Q2402582) (← links)
- A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction (Q2668897) (← links)
- The laws of integer divisibility, and solution sets of linear divisibility conditions (Q3160551) (← links)
- Reachability in Succinct and Parametric One-Counter Automata (Q3184686) (← links)
- On an exponential predicate in polynomials over finite fields (Q3574832) (← links)
- Decidability of Sub-theories of Polynomials over a Finite Field (Q3576076) (← links)
- Solvable problems for transformers with reversal-bounded counters (Q3747751) (← links)
- Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants (Q3987627) (← links)
- Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II (Q4141217) (← links)
- Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings (Q4165353) (← links)
- (Q5028423) (← links)
- The diophantine problem for addition and divisibility for subrings of rational functions over finite fields (Q5145915) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS (Q5359580) (← links)
- Elliptic divisibility sequences and undecidable problems about rational points (Q5459214) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)