bn:00715806n
Noun Named Entity
Categories: Réécriture, Informatique théorique
FR
propriété de Church-Rosser  Propriete de Church-Rosser
FR
En informatique théorique et en logique mathématique, la propriété de Church-Rosser est une propriété des systèmes de réécriture. Wikipedia
Definitions
Relations
Sources
FR
En informatique théorique et en logique mathématique, la propriété de Church-Rosser est une propriété des systèmes de réécriture. Wikipedia
Propriété des systèmes de réécriture en logique mathématique. Wikipedia Disambiguation