×

zbMATH — the first resource for mathematics

Cegielski, Patrick

Compute Distance To:
Author ID: cegielski.patrick Recent zbMATH articles by "Cegielski, Patrick"
Published as: Cegielski, P.; Cegielski, Patrick; Cégielski, P.; Cégielski, Patrick
Documents Indexed: 42 Publications since 1980, including 7 Books

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 71 times in 48 Documents Cited by Year
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
8
2006
Decidability of the theory of the natural integers with the Cantor pairing function and the successor. Zbl 0971.03012
Cegielski, P.; Richard, D.
8
2001
Window-accumulated subsequence matching problem is linear. Zbl 0998.68042
Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
6
2002
Newton representation of functions over natural integers having integral difference ratios. Zbl 1395.11006
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
5
2015
Definability, decidability, complexity. Zbl 0865.03007
Cegielski, Patrick
5
1996
Weakly maximal decidable structures. Zbl 1149.03015
Bès, Alexis; Cégielski, Patrick
4
2008
On arithmetical first-order theories allowing encoding and decoding of lists. Zbl 0930.68032
Cegielski, Patrick; Richard, Denis
3
1999
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Congruence preserving functions on free monoids. Zbl 1435.08001
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2017
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials. Zbl 1377.11005
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2016
On lattices of regular sets of natural integers closed under decrementation. Zbl 1366.68140
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2014
Nonmaximal decidable structures. Zbl 1178.03047
Bès, A.; Cégielski, P.
2
2009
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
On the additive theory of prime numbers. Zbl 1153.11061
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim
2
2007
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
Indécidabilité de la théorie des entiers naturels munis d’une énumération des premiers et de la divisibilité. (The theory of positive integers structured by a list of primes and divisibility is undecidable). Zbl 0781.03004
Cegielski, Patrick; Richard, Denis
2
1992
The elementary theory of the natural lattice is finitely axiomatizable. Zbl 0704.03012
Cegielski, Patrick
2
1989
La théorie élémentaire de la divisibilité est finiment axiomatisable. (The elementary theory of divisibility of natural numbers is finitely axiomatizable). Zbl 0583.03005
Cegielski, Patrick
2
1984
Modeles recursivement satures de l’addition et de la multiplication des entiers naturels. Zbl 0527.03043
Cegielski, Patrick; McAloon, Kenneth; Wilmers, George
2
1982
Théorie élémentaire de la multiplication des entiers naturels. Zbl 0478.03011
Cegielski, Patrick
2
1981
Integral difference ratio functions on integers. Zbl 1323.11002
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2014
Normalization of some extended abstract state machines. Zbl 1287.68044
Cégielski, Patrick; Guessarian, Irène
1
2010
The elementary theory of the Cantor pairing function is decidable. Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
La théorie des corps inductifs archimédiens rationnellement complets. (The theory of Archimedean rationally complete inductive fields). Zbl 0719.12007
Cegielski, Patrick
1
1990
La théorie des corps réels-clos inductifs est une extension conservative de l’arithmétique de Peano. (The theory of inductive real- closed fields is a conservative extension of Peano arithmetic). Zbl 0702.12007
Cegielski, Patrick
1
1990
Congruence preserving functions on free monoids. Zbl 1435.08001
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2017
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials. Zbl 1377.11005
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2016
Newton representation of functions over natural integers having integral difference ratios. Zbl 1395.11006
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
5
2015
On lattices of regular sets of natural integers closed under decrementation. Zbl 1366.68140
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2014
Integral difference ratio functions on integers. Zbl 1323.11002
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2014
Normalization of some extended abstract state machines. Zbl 1287.68044
Cégielski, Patrick; Guessarian, Irène
1
2010
Nonmaximal decidable structures. Zbl 1178.03047
Bès, A.; Cégielski, P.
2
2009
Weakly maximal decidable structures. Zbl 1149.03015
Bès, Alexis; Cégielski, Patrick
4
2008
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
On the additive theory of prime numbers. Zbl 1153.11061
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim
2
2007
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
8
2006
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
Window-accumulated subsequence matching problem is linear. Zbl 0998.68042
Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
6
2002
Decidability of the theory of the natural integers with the Cantor pairing function and the successor. Zbl 0971.03012
Cegielski, P.; Richard, D.
8
2001
The elementary theory of the Cantor pairing function is decidable. Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
On arithmetical first-order theories allowing encoding and decoding of lists. Zbl 0930.68032
Cegielski, Patrick; Richard, Denis
3
1999
Definability, decidability, complexity. Zbl 0865.03007
Cegielski, Patrick
5
1996
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Indécidabilité de la théorie des entiers naturels munis d’une énumération des premiers et de la divisibilité. (The theory of positive integers structured by a list of primes and divisibility is undecidable). Zbl 0781.03004
Cegielski, Patrick; Richard, Denis
2
1992
La théorie des corps inductifs archimédiens rationnellement complets. (The theory of Archimedean rationally complete inductive fields). Zbl 0719.12007
Cegielski, Patrick
1
1990
La théorie des corps réels-clos inductifs est une extension conservative de l’arithmétique de Peano. (The theory of inductive real- closed fields is a conservative extension of Peano arithmetic). Zbl 0702.12007
Cegielski, Patrick
1
1990
The elementary theory of the natural lattice is finitely axiomatizable. Zbl 0704.03012
Cegielski, Patrick
2
1989
La théorie élémentaire de la divisibilité est finiment axiomatisable. (The elementary theory of divisibility of natural numbers is finitely axiomatizable). Zbl 0583.03005
Cegielski, Patrick
2
1984
Modeles recursivement satures de l’addition et de la multiplication des entiers naturels. Zbl 0527.03043
Cegielski, Patrick; McAloon, Kenneth; Wilmers, George
2
1982
Théorie élémentaire de la multiplication des entiers naturels. Zbl 0478.03011
Cegielski, Patrick
2
1981

Citations by Year