Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03152099n
Noun Concept
Categories: Langage formel, Calculabilité, Algorithmique, Informatique théorique, Combinatoire algébrique
FR
réécriture  système de réécriture  réécriture de termes  système réécriture
FR
En informatique théorique, la réécriture est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques en appliquant des règles bien précises. Wikipedia
French:
informatique
arithmétique
Definitions
Relations
Sources
FR
En informatique théorique, la réécriture est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques en appliquant des règles bien précises. Wikipedia
Un modèle de calcul en informatique théorique. Wikipedia Disambiguation
HAS KIND
système de semi-Thue
HAS INSTANCE
DE
Die Botschaft Gottes
SAID TO BE THE SAME AS
moteur d'inférence
règles de réécriture
STUDIED BY
informatique théorique
Wikipedia
FR
réécriture (informatique)
Wikidata
FR
réécriture
OmegaWiki
FR
réécriture
Wikipedia Redirections
FR
Réécriture (arithmétique), système de réécriture
Wikipedia Translations
FR
réécriture, réécriture de termes, système réécriture

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License