ECHENIM, Bertrand Mnacho
ECHENIM, Bertrand Mnacho
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Rewrite-based decision procedures | 1-gen-2007 | Bonacina, Maria Paola; Echenim, Bertrand Mnacho | |
Rewrite-based satisfiability procedures for recursive data structures | 1-gen-2007 | Bonacina, Maria Paola; Echenim, Bertrand Mnacho |