Articles

• Revue internationale avec comité de lecture

  • Patrick Cégielski, La théorie élémentaire de la multiplication, C.R. Acad. Sc. Paris, t.290 (2 juin 1980), pp. 935-938.

  • Patrick Cégielski, La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro, C.R. Acad. Sc. Paris, t.293 (26 octobre 1981), Série I, pp.351-352.

  • Patrick Cégielski, La théorie élémentaire de la divisibilité est finiment axiomatisable, C.R. Acad. Sc. Paris, t.299, Série I, 1984, pp.367-369.

  • Patrick Cégielski, The Elementary Theory of the Natural Lattice is Finitely Axiomatizable, Notre Dame Journal of Formal Logic, vol.30, 1989, pp.138-150. Voir aussi referee.

  • Patrick Cégielski, La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano , C.R. Acad. Sc. Paris, t.310, Série I, p.239-242, 1990.

  • Patrick Cégielski, La théorie des corps inductifs archimédiens rationnellement complets, C.R. Acad. Sc. Paris, t.311, Série I, p.847-850, 1990.

  • Patrick Cégielski and Denis Richard, Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité, C.R. Acad. Sc. Paris, t. 315, Série I, p. 1431-1434, 1992.

  • Patrick Cégielski, Definability, decidability and complexity, Mathematics and Computer Science, Annals of Mathematics on Artificial Intelligence, vol. 111, april 1996, pp.311-341.

  • Patrick Cégielski, Yuri Matiyasevich, and Denis Richard, Definability and decidability issues in extensions of the integers with the divisibility predicate, The Journal of Symbolic Logic, vol.61, June 1996, pp.515-540.

  • Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, and Alex Wilkie, Preface – Logic Colloquium'94, 21--30 July 1994, Clermont-Ferrand, France, Ann. Pure Appl. Logic, vol. 89, 1997, p. 1.

  • Patrick Cégielski et Denis Richard, On arithmetical first-order theories allowing encoding and decoding of lists, Theoretical Computer Science, vol. 222, pp. 55-75, 1999.

  • Patrick Cégielski, Serge Grigorieff et Denis Richard, 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 de Paris, t. 331 , Série I, pp. 107-110, 2000

  • Patrick Cégielski et Denis Richard, Decidability of natural integers equipped with Cantor pairing function and successor, Theoretical Computer Science, vol. 257, issue 1-2, pp. 51-77, 2001.

  • Patrick Cégielski and Denis Richard, What are Weak Arithmetics?, Theoretical Computer Science, vol. 257, pp. 17-29, 2001.

  • Luc Boasson, Patrick Cégielski, Irène Guessarian, and Yuri Matiyasevich, Window-Accumulated Subsequence matching Problem is linear, Annals of Pure and Applied Logic, vol. 113, 2002, p. 59-80.

  • Patrick Cégielski, François Heroult, and Denis Richard, On the amplitude of intervals of natural numbers whose every element is coprime with no extremety, Theoretical Computer Science, vol. 303, pp. 53-62, 2003.

  • Patrick Cégielski, Decidability and p-destinies, Zapiski Nauchnyh Seminarov POMI, vol. 304, 2003, pp. 121-127.

  • Patrick Cégielski and Malika More, Foreword – Weak Arithmetics, Theoretical Computer Science - B, vol. 322, 2004, pp. 1-3.

  • Ruy de Queiroz and Patrick Cégielski, Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 04), Electronic Notes on Theoretical Computer Science, vol. 123, 1st March 2005, 240 p.

  • Patrick Cégielski, Decidability and p-destinies, J. of Mathematical Sciences, Springer, volume 130, october 2005, pp. 4620-4623.

  • Patrick Cégielski, Irène Guessarian, and Yuri Matiyasevich, Multiple serial episodes matching, Information Processing Letter, vol. 98, 2006, pp. 211-218.

  • Patrick Cégielski and Ruy de Queiroz, Foreword WoLLIC'04, Theoretical Computer Science - B, vol. 364, issue 2, 2006, pp. 143-270.

  • Patrick Cégielski, Denis Richard, and Maxim Vsemirnov, On the additive theory of prime numbers, Fundamenta Informaticae, vol. 81, 2007, pp. 83-96.

  • Patrick Cégielski, Irène Guessarian, and Yuri Matiyasevich, Tree inclusion problems, RAIRO-Theor. inf. Appl., vol. 42, 2008, pp. 5-20.

  • Alexis Bès and Patrick Cégielski, Weakly maximal decidable structures, RAIRO-Theor. inf. Appl., vol. 42, 2008, pp. 137-145.

  • Alexis Bès and Patrick Cégielski, Non decidable maximal structures, Journal of Mathematical Sciences, vol. 158, 2009, pp. 615-622.

  • Irène Guessarian and Patrick Cégielski, Tree inclusions in windows and slices, Journal of Mathematical Sciences, vol. 158, 2009, pp. 623-632.

• Communications internationales avec comité parues dans un livre

  • Patrick Cegielski, La théorie élémentaire de la multiplication, in Model Theory and Arithmetic, Lecture Notes in Mathematics, vol. 890, Springer, 1981, pp.44-89.

  • Patrick Cegielski, Kenneth McAloon, and George Wilmers, Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels, Logic colloquium 80, D. van Dalen ed., North-Holland, 1982, pp.57-68.

  • Luc Boasson, Patrick Cegielski, Irène Guessarian, and Yuri Matiyasevich, Window-Accumulated Subsequence matching Problem is linear, PODS'99 (Principle Of Databases Systems), ACM Press, pp. 327-336.

  • Patrick Cegielski, Denis Richard, and Maxim Vsemirnov, On the additive theory of prime numbers I, CSIT’2003 (Computer Science and Information Technologies, September 22-26, 2003, Yerevan, Armenia), The National Academy of Sciences of Armenia Publishers, 459 p., pp. 90-99.

  • Patrick Cégielski, Irène Guessarian, and Yuri Matiyasevich, Multiple serial episodes matching, CSIT’2005 (Computer Science and Information Technologies, September 19-23, 2005, Yerevan, Armenia), The National Academy of Sciences of Armenia Publishers, 633 p., pp. 26-38.

  • Patrick Cégielski, Denis Richard, and Maxim Vsemirnov, On the additive theory of prime numbers II, CSIT’2005 (Computer Science and Information Technologies, September 19-23, 2003, Yerevan, Armenia), The National Academy of Sciences of Armenia Publishers, 633 p., pp. 39-47.

  • Patrick Cégielski, Irène Guessarian, Yuri Lifshits, and Yuri Matiyasevich, Window Subsequence Problem for Compressed Texts, LNCS 3697, Computer Science: Theory and Applications, Springer, 2006, XVI + 684 p., pp. 127-136.

  • Patrick Cegielski and Irène Guessarian, Tree inclusions in windows and slices, CSIT'2007 (Computer Science and Information Technologies, September 24-28, 2007, Yerevan, Armenia), The National Academy of Sciences of Armenia Publishers, ISBN 978-99941-2-086-4, 332 p., pp. 43-47.

  • Patrick Cégielski and Irène Guessarian, Normalization of Extended Abstract State Machines, CSIT’09 (Computer Science and Information Technologies, September 28-October 2, 2009, Yerevan, Armenia), The National Academy of Sciences of Armenia Publishers, ISBN 978-5-8080-0797-0, pp. 23-26.

  • Patrick Cégielski, Introduction to weak arithmetics, Studies in Weak Arithmetics, Lecture Notes 196, CSLI Publications, Stanford, 2010, vii + 213 p., pp. 1-12.

  • Patrick Cégielski and Irène Guessarian, Normalization of Some Extended Abstract State Machines, Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion to His 70th Birthday, Lecture Notes in Computer Science 6300, Springer, 2010, pp. 100-116

• Communications nationales avec comité parues dans un livre

  • Patrick Cegielski, Historique de la théorie élémentaire des ensembles, Fragments d'histoire des mathématiques II, brochure A.P.M.E.P. 65, 1987, pp.161-210.

  • Patrick Cegielski, Un fondement des Mathématiques, in Michel Serfati éd., La recherche de la vérité, ACL-éditions, 1999, pp. 175-209.

  • Patrick Cegielski, Comment vérifier l’accès à une page Web, CNR’IUT 2000, Presses Universitaires d’Orléans, ISBN 2.913454-06-2, tome 1, 2000, pp.249-256.

  • Patrick Cegielski, François Heroult, Denis Richard, Théorie des nombres et informatique, CNR’IUT 2001, Presses Universitaires de Saint-Étienne, 2001.

• Revue nationale avec comité de lecture

  • Patrick Cegielski, C'est é-lé-mentaire, Quadrature, n°24, avril 1996, pp.13-17.

  • Patrick Cegielski et Denis Richard, Décidabilité et indécidabilité de la théorie élémentaire des entiers naturels munis de la fonction de couplage de Cantor et d'une autre fonction, Actes des JAF'15, Université de Mons-Hainaut (Belgique), 11-12 décembre 1997, prépublication de l'université de Mons, 114 p., p.29-64.

  • Patrick Cégielski, Il faut revenir aux sources, L'Informatique Professionnelle, ISSN 0750-1080, pp.11-15, décembre 2004.

• Éditeur invité d'une revue internationale avec comité de lecture

  • Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie, Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France, Ann. Pure Appl. Logic 89(1): 1 (1997).

  • Patrick Cegielski, Malika More, Foreword - Weak Arithmetics, Theoretical Computer Science - B, vol. 322, pp.1-3, 2004.

  • Patrick Cégielski, Ruy de Queiroz, Foreword – WoLLIC’04, Electronic Notes on Theoretical Computer Science, actes du congrès sous forme électronique à paraître (voir http://www.sciencedirect.com/science/journal/15710661).

  • Patrick Cégielski, Ruy de Queiroz, Foreword – WoLLIC’04, Theoretical Computer Science - B, choix d’articles du congrès revus et étendus à paraître en revue papier.

• Articles en ligne

  • Patrick Cegielski, Quelques notes sur Denis Richard, et ma collaboration avec lui, 17 mai 2002.
  
  
  

  Dernière mise à jour : 18 novembre 2010

  Patrick Cégielski