Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag term-rewriting - Ceci est la page 1 - GeneraCodice
Y a-t-il un algorithme pour réduire davantage les CNF
https://www.generacodice.com/fr/articolo/2478276/y-a-t-il-un-algorithme-pour-reduire-davantage-les-cnf
satisfiability
-
algorithms
-
term-rewriting
-
normal-forms
cs.stackexchange
Preuve de propriétés simples sur les termes, la position des sous-calculs et le remplacement des sous-calculs
https://www.generacodice.com/fr/articolo/2477627/preuve-de-proprietes-simples-sur-les-termes-la-position-des-sous-calculs-et-le-remplacement-des-sous-calculs
term-rewriting
cs.stackexchange
Injectivité non requise pour les algorithmes d'unification?
https://www.generacodice.com/fr/articolo/2456080/injectivite-non-requise-pour-les-algorithmes-d-unification
logic
-
unification
-
term-rewriting
cs.stackexchange
Confluence de montrer des termes équivalents ont une réduction commune
https://www.generacodice.com/fr/articolo/2445739/confluence-de-montrer-des-termes-equivalents-ont-une-reduction-commune
programming-languages
-
type-theory
-
term-rewriting
cs.stackexchange
Confluence de l'expansion bêta
https://www.generacodice.com/fr/articolo/1604113/confluence-de-l-expansion-beta
lambda-calculus
-
term-rewriting
cs.stackexchange
Identification / assimilation des constantes dans un système de réécriture à terme
https://www.generacodice.com/fr/articolo/1600220/identification-assimilation-des-constantes-dans-un-systeme-de-reecriture-a-terme
termination
-
term-rewriting
-
normal-forms
cs.stackexchange
Terme de système de réécriture de termes du lambda calcul?
https://www.generacodice.com/fr/articolo/1598514/terme-de-systeme-de-reecriture-de-termes-du-lambda-calcul
lambda-calculus
-
term-rewriting
cs.stackexchange
Comprendre une expression booléenne dans λ-calcul
https://www.generacodice.com/fr/articolo/1592572/comprendre-une-expression-booleenne-dans-λ-calcul
lambda-calculus
-
term-rewriting
cs.stackexchange
Comment IDRIS `` Réécriture '' a-t-il été implémenté?
https://www.generacodice.com/fr/articolo/1591896/comment-idris-reecriture-a-t-il-ete-implemente
formal-languages
-
term-rewriting
cs.stackexchange
Existe-t-il un algorithme générique pour traduire les règles équationnelles en structures de données correspondantes?
https://www.generacodice.com/fr/articolo/1588441/existe-t-il-un-algorithme-generique-pour-traduire-les-regles-equationnelles-en-structures-de-donnees-correspondantes
data-structures
-
reference-request
-
term-rewriting
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 58