Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag term-rewriting - Questa è pagina 1 - GeneraCodice
C'è un algoritmo per ridurre ulteriormente i CNF
https://www.generacodice.com/it/articolo/2478276/c-e-un-algoritmo-per-ridurre-ulteriormente-i-cnf
satisfiability
-
algorithms
-
term-rewriting
-
normal-forms
cs.stackexchange
Prova di semplici proprietà su termini, posizione dei sottermi e sostituzione dei sottermi
https://www.generacodice.com/it/articolo/2477627/prova-di-semplici-proprieta-su-termini-posizione-dei-sottermi-e-sostituzione-dei-sottermi
term-rewriting
cs.stackexchange
Iniettività non richiesta per gli algoritmi di unificazione?
https://www.generacodice.com/it/articolo/2456080/iniettivita-non-richiesta-per-gli-algoritmi-di-unificazione
logic
-
unification
-
term-rewriting
cs.stackexchange
Confluenza per mostrare termini equivalenti hanno un ridicolo comune
https://www.generacodice.com/it/articolo/2445739/confluenza-per-mostrare-termini-equivalenti-hanno-un-ridicolo-comune
programming-languages
-
type-theory
-
term-rewriting
cs.stackexchange
Confluenza dell'espansione beta
https://www.generacodice.com/it/articolo/1604113/confluenza-dell-espansione-beta
lambda-calculus
-
term-rewriting
cs.stackexchange
Identificare/equiparare le costanti in un sistema di riscrittura del termine
https://www.generacodice.com/it/articolo/1600220/identificare-equiparare-le-costanti-in-un-sistema-di-riscrittura-del-termine
termination
-
term-rewriting
-
normal-forms
cs.stackexchange
Termine Riscrivi il sistema per i termini del calcolo Lambda?
https://www.generacodice.com/it/articolo/1598514/termine-riscrivi-il-sistema-per-i-termini-del-calcolo-lambda
lambda-calculus
-
term-rewriting
cs.stackexchange
Comprensione di un'espressione booleana in λ-calculus
https://www.generacodice.com/it/articolo/1592572/comprensione-di-un-espressione-booleana-in-λ-calculus
lambda-calculus
-
term-rewriting
cs.stackexchange
Come è stato implementato Idris '`riswite`?
https://www.generacodice.com/it/articolo/1591896/come-e-stato-implementato-idris-riswite
formal-languages
-
term-rewriting
cs.stackexchange
Esiste un algoritmo generico per tradurre le regole equazionali in strutture di dati corrispondenti?
https://www.generacodice.com/it/articolo/1588441/esiste-un-algoritmo-generico-per-tradurre-le-regole-equazionali-in-strutture-di-dati-corrispondenti
data-structures
-
reference-request
-
term-rewriting
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 58