Studente FORTUNATO, FEDERICO
Facoltà/Dipartimento DIPARTIMENTO DI INGEGNERIA E SCIENZE DELL’INFORMAZIONE E MATEMATICA
Corso di studio INFORMATICA
Anno Accademico 2019
Titolo italiano TTT2: un tool per la terminazione di sistemi di riscrittura
Titolo inglese TTT2: a termination tool for rewrite systems
Relatore NESI, MONICA
Appare nelle tipologie: Laurea triennale (Bachelor's Degree)
File in questo prodotto:
File Dimensione Formato  
TTT2 un tool per la terminazione di sistemi di riscrittura.pdf   Internal network 859.83 kB 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/1734