propriété de Church-Rosser

Nature : théorème

Catégories : théorèmes · concepts mathématiques · sciences · concepts abstraits

Mots du lexique : propriété nom commun, Church nom propre, Rosser nom propre

Wikidata Q1308502 · Wikipédia