-
Linearizing some recursive logic programs
On donne dans cet article une condition suffisante pour que le plus petit point fixe de l'équation X = a + f(X)X soit égal au plus petit point fixe de l'équation X = a... -
Fonctions Régulues
International audience
