| Publication | Date of Publication | Type |
|---|
Affine Completeness of Some Free Binary Algebras
Fundamenta Informaticae | 2022-10-07 | Paper |
The algebra of binary trees is affine complete
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
The algebra of binary trees is affine complete
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
Affine completeness of some free binary algebras
(available as arXiv preprint) | 2021-06-24 | Paper |
Affine completeness of the algebra of full binary trees
Algebra Universalis | 2021-01-14 | Paper |
| The algebra of complete binary trees is affine complete | 2020-05-18 | Paper |
| Study of stepwise simulation between ASM | 2020-05-12 | Paper |
Congruence preserving functions on free monoids
Algebra Universalis | 2017-12-21 | Paper |
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials
Integers | 2016-10-28 | Paper |
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials
Integers | 2016-10-28 | Paper |
Newton representation of functions over natural integers having integral difference ratios
International Journal of Number Theory | 2015-11-17 | Paper |
Arithmetical congruence preservation: from finite to infinite
Fields of Logic and Computation II | 2015-09-22 | Paper |
Integral Difference Ratio Functions on Integers
Computing with New Resources | 2015-09-08 | Paper |
On lattices of regular sets of natural integers closed under decrementation
Information Processing Letters | 2014-04-15 | Paper |
| scientific article; zbMATH DE number 5953962 (Why is no real title available?) | 2011-10-05 | Paper |
Normalization of Some Extended Abstract State Machines
Fields of Logic and Computation | 2010-09-03 | Paper |
Multiple serial episodes matching
Information Processing Letters | 2010-01-18 | Paper |
Nonmaximal decidable structures
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
Tree inclusions in windows and slices
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
Destinies and decidability
Journal of Mathematical Sciences (New York) | 2008-08-18 | Paper |
Tree inclusion problems
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Tree inclusion problems
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Weakly maximal decidable structures
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Weakly maximal decidable structures
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
On the additive theory of prime numbers
(available as arXiv preprint) | 2008-03-03 | Paper |
Window Subsequence Problems for Compressed Texts
Computer Science – Theory and Applications | 2007-05-02 | Paper |
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.
Theoretical Computer Science | 2003-08-17 | Paper |
Window-accumulated subsequence matching problem is linear
Annals of Pure and Applied Logic | 2002-11-27 | Paper |
Decidability of the theory of the natural integers with the Cantor pairing function and the successor
Theoretical Computer Science | 2001-08-20 | Paper |
La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2001-01-28 | Paper |
| scientific article; zbMATH DE number 1500611 (Why is no real title available?) | 2000-11-07 | Paper |
On arithmetical first-order theories allowing encoding and decoding of lists
Theoretical Computer Science | 2000-01-12 | Paper |
Definability, decidability, complexity
Annals of Mathematics and Artificial Intelligence | 1997-07-01 | Paper |
Definability and decidability issues in extensions of the integers with the divisibility predicate
Journal of Symbolic Logic | 1996-11-24 | Paper |
| scientific article; zbMATH DE number 221693 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4185776 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4150341 (Why is no real title available?) | 1990-01-01 | Paper |
The elementary theory of the natural lattice is finitely axiomatizable
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3933028 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3836033 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3750921 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3743221 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3677796 (Why is no real title available?) | 1980-01-01 | Paper |
