. . . "166887246"^^ . . . "La conjecture d'Ehrenfeucht ou, maintenant qu'elle est d\u00E9montr\u00E9e (par Michael H. Albert et John Lawrence et de mani\u00E8re ind\u00E9pendante par Victor S. Guba), le th\u00E9or\u00E8me de compacit\u00E9 est un \u00E9nonc\u00E9 concernant la combinatoire du mono\u00EFde libre ; c'est \u00E0 la fois un th\u00E9or\u00E8me d'informatique th\u00E9orique et un th\u00E9or\u00E8me d'alg\u00E8bre."@fr . . . . . . . . . . . "Conjecture d'Ehrenfeucht"@fr . . "La conjecture d'Ehrenfeucht ou, maintenant qu'elle est d\u00E9montr\u00E9e (par Michael H. Albert et John Lawrence et de mani\u00E8re ind\u00E9pendante par Victor S. Guba), le th\u00E9or\u00E8me de compacit\u00E9 est un \u00E9nonc\u00E9 concernant la combinatoire du mono\u00EFde libre ; c'est \u00E0 la fois un th\u00E9or\u00E8me d'informatique th\u00E9orique et un th\u00E9or\u00E8me d'alg\u00E8bre."@fr . . . . . . . . "11187146"^^ . . . "9035"^^ . .