Questo sito utilizza cookie di terze parti per inviarti pubblicità in linea con le tue preferenze. Se vuoi saperne di più clicca QUI 
Chiudendo questo banner, scorrendo questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookie. OK

Combinazione di procedure di decisione tramite riscrittura

Questa tesi dimostra la decidibilità del problema della parola per l'unione di teorie equazionali costruibili su una teoria comune, attraverso la riscrittura ordinata (unfailing completion).

Mostra/Nascondi contenuto.
UNIVERSITA` DEGLI STUDI DI MILANO FACOLTA` DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA IN INFORMATICA COMBINAZIONE DI PROCEDURE DI DECISIONE TRAMITE RISCRITTURA Relatore: Prof. Silvio Ghilardi Correlatore: Dott. Camillo Fiorentini Tesi di Laurea di: Jacopo Mantovani Matr. Nr. 588316 anno accademico 2002-2003

Tesi di Laurea

Facoltà: Scienze Matematiche, Fisiche e Naturali

Autore: Jacopo Mantovani Contatta »

Composta da 71 pagine.

 

Questa tesi ha raggiunto 371 click dal 20/03/2004.

Disponibile in PDF, la consultazione è esclusivamente in formato digitale.