Combinazione di procedure di decisione tramite riscrittura
Autore
Jacopo Mantovani - Università degli Studi di Milano - [2002-03]
Documenti
Abstract
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).
Questa tesi è correlata alle categorie