Liste des citations dans Numdam pour : Decision problems among the main subfamilies of rational relations

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 40 (2006), p. 255-275 / Harvested from Numdam

Choffrut, Christian

Deciding whether a relation defined in Presburger logic can be defined in weaker logics
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008), p. 121-135 / Harvested from Numdam

Choffrut, Christian ; Colson, Loïc

Preface
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008), p. 1-4 / Harvested from Numdam