Patrick Cegielski

Documents

Publications

	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⟩ Journal articles hal-01689055v1
	Characterizing congruence preserving functions Z/nZ --> Z/nZ via rational polynomials Patrick Cégielski , Irene Guessarian , Serge Grigorieff Integers : Electronic Journal of Combinatorial Number Theory, 2016 Journal articles 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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles 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 Journal articles hal-00095714v1
	Multiple serial episodes matching Irene Guessarian , Patrick Cegielski , Yuri Matiyasevich Information Processing Letters, 2006, 98/6, pp.211-218 Journal articles hal-00023320v1
	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 Journal articles hal-00097613v1
	Decidability and p-destinies Patrick Cegielski Journal of Mathematical Sciences, 2005, 130, pp.4620-4623 Journal articles hal-00095704v1
	Foreword – Weak Arithmetics Patrick Cegielski , Malika More Theoretical Computer Science, 2004, 322, pp.1-3 Journal articles hal-00097609v1
	Il faut revenir aux sources ! Patrick Cegielski L'informatique professionnelle, Gartner ISSN 0750-1080, 2004, 229, pp.11-15 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles hal-00095676v1
	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 Journal articles hal-00095673v1
	Colloque National sur les Recherches en IUT Patrick Cegielski , Jean-Pierre Raoult , Denis Richard Quadrature, 1996, 24, pp.120 Journal articles hal-00097626v1
	C'est é-lé-mentaire Patrick Cegielski Quadrature, 1996, 24, pp.13-17 Journal articles hal-00096771v1
	Definability, decidability and complexity Patrick Cegielski Annals of Mathematics and Artificial Intelligence, 1996, 111, pp.311-341 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles hal-00095646v1
	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 Journal articles hal-00095642v1
	La théorie élémentaire de la multiplication Patrick Cegielski Lecture Notes in Mathematics, 1981, 890, pp.44-89 Journal articles hal-00096746v1
	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 Journal articles hal-00095636v1

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

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

	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 Book sections 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 Book sections 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⟩ Book sections 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⟩ Book sections 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 Book sections 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 Book sections hal-00097595v1
	Un fondement des Mathématiques Patrick Cegielski Michel Serfati. La recherche de la vérité, ACL-éditions (Paris), pp.177-209, 1999 Book sections 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 Book sections 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 Book sections hal-00096748v1

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

Patrick Cegielski

Publications

Congruence preserving functions on free monoids

Characterizing congruence preserving functions Z/nZ --> Z/nZ via rational polynomials

Newton representation of functions over natural integers having integral difference ratios

On Lattices of Regular Sets of Natural Integers Closed under Decrementation

Tree inclusion problems

Window Subsequence Problem for Compressed Texts

Multiple serial episodes matching

Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 04)

Decidability and p-destinies

Foreword – Weak Arithmetics

Il faut revenir aux sources !

On the amplitude of intervals of natural numbers whose every element is coprime with no extremity

Decidability of natural integers equipped with Cantor pairing function and successor

Window Accumulated Subsequence Matching is linear

La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable

On arithmetical first-order theories allowing encoding and decoding of lists

Definability and decidability issues in extensions of the integers with the divisibility predicate

Colloque National sur les Recherches en IUT

C'est é-lé-mentaire

Definability, decidability and complexity

Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité

La théorie des corps inductifs archimédiens rationnellement complets

La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano

The Elementary Theory of the Natural Lattice is Finitely Axiomatizable

Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France

La théorie élémentaire de la divisibilité est finiment axiomatisable

La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro

La théorie élémentaire de la multiplication

La théorie élémentaire de la multiplication

Study of Stepwise Simulation Between ASM

Multiple serial episode matching

On the additive theory of prime numbers II

On the additive theory of prime numbers I

Window Accumulated Subsequence Matching is linear

Une introduction à la science informatique pour les enseignants de la discipline en lycée

Conception des systèmes d'exploitation : Le cas linux. Deuxième édition.

Comprendre les systèmes d'exploitation: le cas linux

Modélisation et simulation : actes du CNRIUT98

Arithmetical Congruence Preservation: from Finite to Infinite

Arithmetical Congruence Preservation: From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, pp. 210-225

Integral Difference Ratio Functions on Integers

Normal form of Some extended Abstract State Machines

Théorie des nombres et informatique

Comment vérifier l'accès à une page Web

Un fondement des Mathématiques

Historique de la théorie élémentaire des ensembles

Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels

CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS

On Lattices of Regular Sets of Natural Integers Closed under Decrementation

Newton representation of functions over natural integers having integral difference ratios

Tree inclusions in windows and slices

Tree inclusion problems

Non-Maximal Decidable Structures

Weakly Maximal Decidable Structures