Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

15 résultats

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

Affine Completeness of Some Free Binary Algebras

André Arnold , Patrick Cégielski , Irène Guessarian
Fundamenta Informaticae, 2022, 186 (1-4), pp.27-44. ⟨10.3233/FI-222117⟩
Article dans une revue hal-03774320v1

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

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

The algebra of binary trees is affine complete

André Arnold , Patrick Cégielski , Serge Grigorieff , Irène Guessarian
Discrete Mathematics and Theoretical Computer Science, 2021, 23 (2), ⟨10.46298/dmtcs.6890⟩
Article dans une revue hal-03774317v1

Congruence preserving functions on free monoids

Patrick Cégielski , Serge Grigorieff , Irène Guessarian
Algebra Universalis, 2017, 78 (3), pp.389-406. ⟨10.1007/s00012-017-0464-x⟩
Article dans une revue hal-03774323v1

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

Affine completeness of the algebra of full binary trees

André Arnold , Patrick Cégielski , Serge Grigorieff , Irène Guessarian
Algebra Universalis, 2020, 81 (4), pp.55. ⟨10.1007/s00012-020-00690-6⟩
Article dans une revue hal-03774322v1

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 relating CTL to Datalog

Foto N. Afrati , Theodore Andronikos , Vassia Pavlaki , Eugenie Foustoucos , Irene Guessarian
2005
Pré-publication, Document de travail hal-00020579v1

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 Cégielski , Serge Grigorieff , Irène Guessarian
International Journal of Number Theory, 2015, 11 (07), pp.2109-2139. ⟨10.1142/S179304211550092X⟩
Article dans une revue hal-03774324v1
Image document

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

Congruence Preserving Functions on Free Monoids

Irene Guessarian , Patrick Cegielski , Grigorieff Serge
2016
Pré-publication, Document de travail hal-01360242v1