Terminaison dans lesTerminaison dans lesfonctions d'ordresupérieurla terminaison des programmes.Un nouveau cadre améliore l'analyse deLogique en informatiqueAnalyse de la terminaison des programmes avec les LCSTRSsUn nouveau cadre pour analyser la terminaison dans les fonctions d'ordre supérieur.2025-07-23T12:33:30+00:00 ― 8 min lire