Patrick Cegielski

Publications

Article dans une revue (29)

Congruence preserving functions on free monoids Patrick Cégielski,Serge Grigorieff,Irene Guessarian Algebra Universalis, 2017, 78 (3), pp.389 - 406. ⟨10.1007/s00012-017-0464-x⟩ Article dans une revue hal-01689055v1
Characterizing congruence preserving functions Z/nZ --&gt; Z/nZ via rational polynomials Patrick Cégielski,Irene Guessarian,Serge Grigorieff Integers : Electronic Journal of Combinatorial Number Theory, 2016 Article dans une revue hal-01704092v1
Newton representation of functions over natural integers having integral difference ratios Irene Guessarian,Patrick Cégielski,Serge Grigorieff International Journal of Number Theory, 2015, 11 (7), pp.2109-2139. ⟨10.1142/S179304211550092X⟩ Article dans une revue hal-01260277v1
On Lattices of Regular Sets of Natural Integers Closed under Decrementation Patrick Cégielski,Serge Grigorieff,Irene Guessarian Information Processing Letters, 2014, 114 (4), pp.197-202. ⟨10.1016/j.ipl.2013.11.013⟩ Article dans une revue hal-01259673v1
Tree inclusion problems Irene Guessarian,Patrick Cégielski,Yuri Matiyasevich RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 (1), pp.5-20. ⟨10.1051/ita:2007052⟩ Article dans une revue istex hal-01260272v1
Window Subsequence Problem for Compressed Texts Patrick Cegielski,Irène Guessarian,Yuri Lifshits,Yuri Matiyasevich Lecture Notes in Computer Science, 2006, 3697, pp.127-136 Article dans une revue hal-00095714v1
Multiple serial episodes matching Irene Guessarian,Patrick Cegielski,Yuri Matiyasevich Information Processing Letters, 2006, 98/6, pp.211-218 Article dans une revue hal-00023320v1
Decidability and p-destinies Patrick Cegielski Journal of Mathematical Sciences, 2005, 130, pp.4620-4623 Article dans une revue hal-00095704v1
Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 04) Patrick Cegielski,Ruy de Queiroz Electronic Notes in Theoretical Computer Science, 2005, 123, pp.240 Article dans une revue hal-00097613v1
Foreword – Weak Arithmetics Patrick Cegielski,Malika More Theoretical Computer Science, 2004, 322, pp.1-3 Article dans une revue hal-00097609v1
Il faut revenir aux sources ! Patrick Cegielski L'informatique professionnelle, Gartner ISSN 0750-1080, 2004, 229, pp.11-15 Article dans une revue hal-00096773v1
On the amplitude of intervals of natural numbers whose every element is coprime with no extremity Patrick Cégielski,François Heroult,Denis Richard Theoretical Computer Science, 2003, 303, pp.53-62 Article dans une revue hal-00005600v1
Decidability of natural integers equipped with Cantor pairing function and successor Patrick Cegielski,Denis Richard Theoretical Computer Science, 2001, 257, pp.51-77 Article dans une revue hal-00095681v1
Window Accumulated Subsequence Matching is linear Irene Guessarian,Luc Boasson,Patrick Cegielski,Yuri Matiyasevich Annals of Pure and Applied Logic, 2001, 113, pp.59-80 Article dans une revue hal-00020677v1
La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable Patrick Cegielski,Serge Grigorieff,Denis Richard Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2000, 331, pp.107-110 Article dans une revue hal-00095677v1
On arithmetical first-order theories allowing encoding and decoding of lists Patrick Cegielski,Denis Richard Theoretical Computer Science, 1999, 222, pp.55-75 Article dans une revue hal-00095676v1
C'est é-lé-mentaire Patrick Cegielski Quadrature, 1996, 24, pp.13-17 Article dans une revue hal-00096771v1
Colloque National sur les Recherches en IUT Patrick Cegielski,Jean-Pierre Raoult,Denis Richard Quadrature, 1996, 24, pp.120 Article dans une revue hal-00097626v1
Definability and decidability issues in extensions of the integers with the divisibility predicate Patrick Cegielski,Yuri Matiyasevich,Denis Richard The Journal of Symbolic Logic, 1996, 61, pp.515-540 Article dans une revue hal-00095673v1
Definability, decidability and complexity Patrick Cegielski Annals of Mathematics and Artificial Intelligence, 1996, 111, pp.311-341 Article dans une revue hal-00095667v1
Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité Patrick Cegielski,Denis Richard Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1992, 315, pp.1431-1434 Article dans une revue hal-00095664v1
La théorie des corps inductifs archimédiens rationnellement complets Patrick Cegielski Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1990, 311, pp.847-850 Article dans une revue hal-00095659v1
La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano Patrick Cegielski Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1990, 310, pp.239-242 Article dans une revue hal-00095655v1
The Elementary Theory of the Natural Lattice is Finitely Axiomatizable Patrick Cegielski Notre Dame Journal of Formal Logic, 1989, 30, pp.138-150 Article dans une revue hal-00095651v1
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France Patrick Cegielski,Leszek Pacholski,Denis Richard,Jerzy Tomasik,Alex Wilkie Annals of Pure and Applied Logic, 1987, 89, pp.1-3 Article dans une revue hal-00097607v1
La théorie élémentaire de la divisibilité est finiment axiomatisable Patrick Cegielski Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1984, 299, pp.367-369 Article dans une revue hal-00095646v1
La théorie élémentaire de la multiplication Patrick Cegielski Lecture Notes in Mathematics, 1981, 890, pp.44-89 Article dans une revue hal-00096746v1
La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro Patrick Cegielski Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1981, 293, pp.351-352 Article dans une revue hal-00095642v1
La théorie élémentaire de la multiplication Patrick Cegielski Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1980, 290, pp.935-938 Article dans une revue hal-00095636v1

Communication dans un congrès (5)

Study of Stepwise Simulation Between ASM Patrick Cegielski,Julien Cervelle 15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167 Communication dans un congrès hal-02182747v1
Multiple serial episode matching Patrick Cegielski,Irene Guessarian,Yuri Matiyasevich 2005, pp.26-38 Communication dans un congrès hal-00020564v1
On the additive theory of prime numbers II Patrick Cegielski,Denis Richard,Maxim Vsemirnov 2005, pp.39-47 Communication dans un congrès hal-00096769v1
On the additive theory of prime numbers I Patrick Cegielski,Denis Richard,Maxim Vsemirnov 2003, pp.90-99 Communication dans un congrès hal-00096752v1
Window Accumulated Subsequence Matching is linear Irene Guessarian,Luc Boasson,Patrick Cegielski,Yuri Matiyasevich 1999, pp.327-336 Communication dans un congrès hal-00020684v1

Ouvrages (4)

Une introduction à la science informatique pour les enseignants de la discipline en lycée Gilles Dowek,Jean-Pierre Archambault,Emmanuel Baccelli,Sylvie Boldo,Denis Bouhineauet al. Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9 Ouvrages hal-00765226v1
Conception des systèmes d'exploitation : Le cas linux. Deuxième édition. Patrick Cegielski Eyrolles, pp.XIII+680, 2004 Ouvrages hal-00097619v1
Comprendre les systèmes d'exploitation: le cas linux Patrick Cégielski Eyrolles, 2003 Ouvrages hal-00005606v1
Modélisation et simulation : actes du CNRIUT98 Patrick Cegielski L'Harmattan, pp.592, 1998 Ouvrages hal-00097628v1

Chapitre d'ouvrage (9)

Arithmetical Congruence Preservation: from Finite to Infinite Irene Guessarian,Patrick Cégielski,Serge Grigorieff Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich, 9300, pp.210-225, 2015, LNCS Chapitre d'ouvrage hal-01260281v1
Arithmetical Congruence Preservation: From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, pp. 210-225 Patrick Cégielski,Irene Guessarian,Serge Grigorieff From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, 2015 Chapitre d'ouvrage hal-01689058v1
Integral Difference Ratio Functions on Integers Patrick Cégielski,Serge Grigorieff,Irene Guessarian Computing with new resouces, 8808, pp.210-225, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-13350-8_21⟩ Chapitre d'ouvrage hal-01259852v1
Normal form of Some extended Abstract State Machines Irene Guessarian,Patrick Cégielski Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. ⟨10.1007/978-3-642-15025-8⟩ Chapitre d'ouvrage hal-01260275v1
Théorie des nombres et informatique Patrick Cegielski,François Heroult,Denis Richard CNR'IUT 2001, Presses Universitaires de Saint-Étienne, pp.249-256, 2001 Chapitre d'ouvrage hal-00097601v1
Comment vérifier l'accès à une page Web Patrick Cegielski CNR'IUT 2000, tome 1, ISBN 2.913454-06-2, Presses Universitaires d'Orléans, pp.249-256, 2000 Chapitre d'ouvrage hal-00097595v1
Un fondement des Mathématiques Patrick Cegielski Michel Serfati. La recherche de la vérité, ACL-éditions (Paris), pp.177-209, 1999 Chapitre d'ouvrage hal-00096777v1
Historique de la théorie élémentaire des ensembles Patrick Cegielski Fragments d'histoire des mathématiques II, APMEP (Association des Professeurs de Mathématiques de l'Enseignement Public), pp.161-210, 1987 Chapitre d'ouvrage hal-00096775v1
Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels Patrick Cegielski,Kenneth Mc Aloon,George Wilmers D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982 Chapitre d'ouvrage hal-00096748v1

Pré-publication, Document de travail (7)

CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS Serge Grigorieff,Irene Guessarian,Patrick Cégielski 2016 Pré-publication, Document de travail hal-01260934v1
On Lattices of Regular Sets of Natural Integers Closed under Decrementation Patrick Cegielski,Serge Grigorieff,Irene Guessarian 2013 Pré-publication, Document de travail hal-00870130v1
Newton representation of functions over natural integers having integral difference ratios Patrick Cegielski,Serge Grigorieff 2013 Pré-publication, Document de travail hal-00870168v1
Tree inclusions in windows and slices Patrick Cegielski,Irene Guessarian 2007 Pré-publication, Document de travail hal-00159127v1
Tree inclusion problems Patrick Cegielski,Irene Guessarian,Yuri Matiyasevich 2007 Pré-publication, Document de travail hal-00159125v1
Non-Maximal Decidable Structures Alexis Bès,Patrick Cégielski 2007 Pré-publication, Document de travail hal-00155282v1
Weakly Maximal Decidable Structures Alexis Bès,Patrick Cégielski 2007 Pré-publication, Document de travail hal-00155281v1