Studente DI PATRIZIO, DENIS
Facoltà/Dipartimento DIPARTIMENTO DI INGEGNERIA E SCIENZE DELL’INFORMAZIONE E MATEMATICA
Corso di studio INFORMATICA
Anno Accademico 2019
Titolo italiano Il tool CSI per la verifica della confluenza di sistemi di riscrittura
Titolo inglese The tool CSI for proving confluence of rewrite systems
Relatore NESI, MONICA
Appare nelle tipologie: Laurea triennale (Bachelor's Degree)
File in questo prodotto:
File Dimensione Formato  
Il tool CSI per la verifica della confluenza di sistemi di riscrittura.pdf   Internal network 2.02 MB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.12319/1730