|
|
Normal form of Some extended Abstract State Machines
Irene Guessarian
,
Patrick Cégielski
Chapitre d'ouvrage
hal-01260275v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Affine Completeness of Some Free Binary Algebras
André Arnold
,
Patrick Cégielski
,
Irène Guessarian
Article dans une revue
hal-03774320v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The algebra of binary trees is affine complete
André Arnold
,
Patrick Cégielski
,
Serge Grigorieff
,
Irène Guessarian
Article dans une revue
hal-03774317v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Congruence preserving functions on free monoids
Patrick Cégielski
,
Serge Grigorieff
,
Irène Guessarian
Article dans une revue
hal-03774323v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On Lattices of Regular Sets of Natural Integers Closed under Decrementation
Patrick Cégielski
,
Serge Grigorieff
,
Irene Guessarian
Article dans une revue
hal-01259673v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Affine completeness of the algebra of full binary trees
André Arnold
,
Patrick Cégielski
,
Serge Grigorieff
,
Irène Guessarian
Article dans une revue
hal-03774322v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Newton representation of functions over natural integers having integral difference ratios
Irene Guessarian
,
Patrick Cégielski
,
Serge Grigorieff
Article dans une revue
hal-01260277v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On relating CTL to Datalog
Foto N. Afrati
,
Theodore Andronikos
,
Vassia Pavlaki
,
Eugenie Foustoucos
,
Irene Guessarian
2005
Pré-publication, Document de travail
hal-00020579v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Newton representation of functions over natural integers having integral difference ratios
Patrick Cégielski
,
Serge Grigorieff
,
Irène Guessarian
Article dans une revue
hal-03774324v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Congruence Preserving Functions on Free Monoids
Irene Guessarian
,
Patrick Cegielski
,
Grigorieff Serge
2016
Pré-publication, Document de travail
hal-01360242v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|