Histoire des mathématiques Théorème

théorème de Courcelle

Théorème

sur les algorithmes à temps linéaire pour la logique des graphes

Traduit de l’anglais automatiquement — non relu. « on linear-time algorithms for graph logic »

Sources