Accéder directement au contenu

Patrick Cegielski

54
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⟩
Article dans une revue 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
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
Image document

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 hal-01260272v1

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

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

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

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

Foreword – Weak Arithmetics

Patrick Cegielski , Malika More
Theoretical Computer Science, 2004, 322, pp.1-3
Article dans une revue hal-00097609v1

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

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

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

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

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

C'est é-lé-mentaire

Patrick Cegielski
Quadrature, 1996, 24, pp.13-17
Article dans une revue hal-00096771v1

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

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

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
Image document

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