| Publication | Date of Publication | Type |
|---|
| The path-bifurcation hierarchy does not collapse to ^1 in infinite abelian groups | 2026-04-29 | Paper |
A minimal substitution basis for the Kalmár elementary functions
Journal of Logic and Computation | 2026-04-29 | Paper |
Computational considerations on the representation of number-theoretic functions by arithmetic terms
Journal of Logic and Computation | 2025-10-29 | Paper |
On modular representations of \(\mathrm{C}\)-recursive integer sequences
Journal of Integer Sequences | 2025-09-30 | Paper |
On the representation of C-recursive integer sequences by arithmetic terms
Journal of Difference Equations and Applications | 2025-09-25 | Paper |
An arithmetic term for the factorial function
Examples and Counterexamples | 2025-09-05 | Paper |
Conjunctions of exponential Diophantine equations over \(\mathbb{Q}\)
Archive for Mathematical Logic | 2025-07-24 | Paper |
On other two representations of the C-recursive integer sequences by terms in modular arithmetic
Journal of Symbolic Computation | 2025-04-01 | Paper |
| Symmetric Functions over Finite Fields | 2023-09-24 | Paper |
| Symmetries in the Pascal triangle: p-adic valuation, sign-reduction modulo p and the last non-zero digit | 2023-06-02 | Paper |
Smooth approximations by continuous choice-functions
Soft Computing | 2022-11-22 | Paper |
| Two results about the rational numbers | 2022-05-09 | Paper |
On representations of intended structures in foundational theories
Journal of Philosophical Logic | 2022-04-04 | Paper |
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR
Journal of Symbolic Logic | 2021-01-29 | Paper |
A growth model based on the arithmetic \(Z\)-game
Chaos, Solitons and Fractals | 2017-10-18 | Paper |
About a surprising computer program of Matthias Müller
Convexity and Discrete Geometry Including Graph Theory | 2017-09-06 | Paper |
Linear recurrent double sequences with constant border in \(M_2(\mathbb F_2)\) are classified according to their geometric content
Symmetry | 2017-05-12 | Paper |
A two-valued recurrent double sequence that is not automatic
Theoretical Computer Science | 2014-03-13 | Paper |
F_p-affine recurrent n-dimensional sequences over F_q are p-automatic
European Journal of Combinatorics | 2012-12-03 | Paper |
Recurrent two-dimensional sequences generated by homomorphisms of finite abelian p-groups with periodic initial conditions
Fractals | 2012-04-20 | Paper |
The Thue-Morse-Pascal double sequence and similar structures
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2011-10-21 | Paper |
RECURRENT DOUBLE SEQUENCES THAT CAN BE PRODUCED BY CONTEXT-FREE SUBSTITUTIONS
Fractals | 2010-06-30 | Paper |
Self-similar carpets over finite fields
European Journal of Combinatorics | 2009-06-17 | Paper |
| Concrete algebraic cohomology for the group \((\mathbb R,+)\) or how to solve the functional equation \(f(x+y)-f(x)-f(y)=g(x,y)\) | 2008-12-11 | Paper |
An undecidable property of recurrent double sequences
Notre Dame Journal of Formal Logic | 2008-06-18 | Paper |
| Dynamical systems with double recursion are undecidable | 2007-10-10 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Structure with fast elimination of quantifiers
Journal of Symbolic Logic | 2006-07-05 | Paper |
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
MLQ | 2006-03-24 | Paper |
Two situations with unit-cost: ordered abelian semi-groups and some commutative rings
Journal of Complexity | 2005-09-02 | Paper |
Diophantine properties of finite commutative rings
Archive for Mathematical Logic | 2003-09-16 | Paper |
A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group
Journal of Symbolic Logic | 2003-07-05 | Paper |
<i>P</i> ≠ <i>NP</i> for all infinite Boolean algebras
Mathematical Logic Quarterly | 2003-04-10 | Paper |
An isomorphism between monoids of external embeddings: About definability in arithmetic
Journal of Symbolic Logic | 2002-12-04 | Paper |
Non-effective quantifier elimination
Mathematical Logic Quarterly (MLQ) | 2002-09-16 | Paper |
\(\text{P}\neq \text{NP}\) for the reals with various analytic functions
Journal of Complexity | 2001-07-23 | Paper |
Most homeomorphisms of the circle are semiperiodic
Archiv der Mathematik | 1995-07-03 | Paper |
On the representation of C-recursive integer sequences by arithmetic terms
(available as arXiv preprint) | N/A | Paper |
