The following pages link to Mihai Prunescu (Q192024):
Displaying 48 items.
- Fracpairs and fractions over a reduced commutative ring (Q297980) (← links)
- The work of Kim and Roush on questions of decidability in algebra and number theory (Q368679) (← links)
- Linear recurrent double sequences with constant border in \(M_2(\mathbb F_2)\) are classified according to their geometric content (Q527570) (← links)
- The analogue of Büchi's problem for function fields (Q555587) (← links)
- The shrinking property for NP and coNP (Q627189) (← links)
- A recursion-theoretic approach to NP (Q639668) (← links)
- The Thue-Morse-Pascal double sequence and similar structures (Q640882) (← links)
- Arthur and Merlin as oracles (Q649095) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- \(\mathbb F_p\)-affine recurrent \(n\)-dimensional sequences over \(\mathbb F_q\) are \(p\)-automatic (Q691584) (← links)
- Recognition complexity of theories and their computational expressivity (Q694245) (← links)
- Positive and negative proofs for circuits and branching programs (Q896677) (← links)
- An undecidable property of recurrent double sequences (Q929632) (← links)
- Self-similar carpets over finite fields (Q1024278) (← links)
- Diophantine properties of finite commutative rings (Q1407594) (← links)
- Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic (Q1758239) (← links)
- (Q1893247) (redirect page) (← links)
- Most homeomorphisms of the circle are semiperiodic (Q1893248) (← links)
- Automata on ordinals and automaticity of linear orders (Q1944328) (← links)
- Universally defining finitely generated subrings of global fields (Q2062179) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- Smooth approximations by continuous choice-functions (Q2100427) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- Three open questions on residually small rings (Q2181173) (← links)
- Bézout domains and lattice-valued modules (Q2318399) (← links)
- Decidability of the theory of modules over Prüfer domains with dense value groups (Q2326429) (← links)
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Two situations with unit-cost: ordered abelian semi-groups and some commutative rings (Q2387423) (← links)
- Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields (Q2391565) (← links)
- A growth model based on the arithmetic \(Z\)-game (Q2410401) (← links)
- A two-valued recurrent double sequence that is not automatic (Q2437852) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- Typical forcings, NP search problems and an extension of a theorem of Riis (Q2659102) (← links)
- Non-effective Quantifier Elimination (Q2765578) (← links)
- An isomorphism between monoids of external embeddings: About definability in arithmetic (Q3149985) (← links)
- Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions (Q3376536) (← links)
- (Q3545797) (← links)
- RECURRENT DOUBLE SEQUENCES THAT CAN BE PRODUCED BY CONTEXT-FREE SUBSTITUTIONS (Q3573160) (← links)
- A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group (Q4532627) (← links)
- <i>P</i> ≠ <i>NP</i> for all infinite Boolean algebras (Q4804182) (← links)
- (Q5074680) (← links)
- THE EXPONENTIAL DIOPHANTINE PROBLEM FOR (Q5148103) (← links)
- About a Surprising Computer Program of Matthias Müller (Q5354938) (← links)
- RECURRENT TWO-DIMENSIONAL SEQUENCES GENERATED BY HOMOMORPHISMS OF FINITE ABELIAN p-GROUPS WITH PERIODIC INITIAL CONDITIONS (Q5389505) (← links)
- Structure with fast elimination of quantifiers (Q5477638) (← links)
- Logical Approaches to Computational Barriers (Q5898843) (← links)
- \(\text{P}\neq \text{NP}\) for the reals with various analytic functions (Q5938579) (← links)
- On the representation of C-recursive integer sequences by arithmetic terms (Q6533606) (← links)
