Patrick Cégielski

35 papers A* 1B 1C 3Misc 1Journal 25Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Affine Completeness of Some Free Binary Algebras.
Fundam. Informaticae
André Arnold, Patrick Cégielski, Irène Guessarian
2021 J jnl
Affine completeness of some free binary algebras.
CoRR
André Arnold, Patrick Cégielski, Irène Guessarian
2021 J jnl
The algebra of binary trees is affine complete.
Discret. Math. Theor. Comput. Sci.
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2020 J jnl
Congruence Preservation, Lattices and Recognizability.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2020 — ed.
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Fields of Logic and Computation III
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
2020 J jnl
The algebra of binary trees is affine complete.
CoRR
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2019 C conf
Study of Stepwise Simulation Between ASM.
CiE
Patrick Cégielski, Julien Cervelle
2016 J jnl
Characterizing Congruence Preserving Functions Z/nZ → Z/mZ Via Rational Polynomials.
Integers
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2015 — conf
Arithmetical Congruence Preservation: From Finite to Infinite.
Fields of Logic and Computation II
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2015 J jnl
Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2014 — conf
Integral Difference Ratio Functions on Integers.
Computing with New Resources
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2014 J jnl
On lattices of regular sets of natural integers closed under decrementation.
Inf. Process. Lett.
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2013 J jnl
Newton representation of functions over natural integers having integral difference ratios.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2013 J jnl
On Lattices of Regular Sets of Natural Integers Closed under Decrementation.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2012 B ed.
Computer Science Logic - 26th International Workshop / 21st Annual Conference of the EACSL, CSL 2012, Fontainebleau, France, September 3-6, 2012
CSL
Patrick Cégielski, Arnaud Durand
2010 — conf
Normalization of Some Extended Abstract State Machines.
Fields of Logic and Computation
Patrick Cégielski, Irène Guessarian
2008 J jnl
Tree inclusion problems.
RAIRO Theor. Informatics Appl.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2008 J jnl
Weakly maximal decidable structures.
RAIRO Theor. Informatics Appl.
Alexis Bès, Patrick Cégielski
2007 J jnl
On the Additive Theory of Prime Numbers.
Fundam. Informaticae
Patrick Cégielski, Denis Richard, Maxim Vsemirnov
2006 J jnl
Multiple serial episode matching
CoRR
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Multiple serial episodes matching.
Inf. Process. Lett.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Preface.
Theor. Comput. Sci.
Ruy J. G. B. de Queiroz, Patrick Cégielski
2006 Misc conf
Window Subsequence Problems for Compressed Texts.
CSR
Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri V. Matiyasevich
2005 C ed.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004
WoLLIC
Ruy J. G. B. de Queiroz, Patrick Cégielski
2004 J jnl
Foreword.
Theor. Comput. Sci.
Patrick Cégielski, Malika More
2004 C conf
Preface.
WoLLIC
Ruy J. G. B. de Queiroz, Patrick Cégielski
2003 J jnl
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.
Theor. Comput. Sci.
Patrick Cégielski, François Heroult, Denis Richard
2001 J jnl
Decidability of the theory of the natural integers with the cantor pairing function and the successor.
Theor. Comput. Sci.
Patrick Cégielski, Denis Richard
2001 J jnl
Window-accumulated subsequence matching problem is linear.
Ann. Pure Appl. Log.
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1999 J jnl
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.
Theor. Comput. Sci.
Patrick Cégielski, Denis Richard
1999 A* conf
Window-Accumulated Subsequence Matching Problem is Linear.
PODS
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1997 J jnl
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Ann. Pure Appl. Log.
Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
1996 J jnl
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.
J. Symb. Log.
Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard
1996 J jnl
Definability, Decidability, Complexity.
Ann. Math. Artif. Intell.
Patrick Cégielski
1989 J jnl
The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable.
Notre Dame J. Formal Log.
Patrick Cégielski