Christian Savioz

• Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur