Il tool CSI per la verifica della confluenza di sistemi di riscrittura

DI PATRIZIO, DENIS
2019/2020

2019
The tool CSI for proving confluence of rewrite systems
File in questo prodotto:
File Dimensione Formato  
Il tool CSI per la verifica della confluenza di sistemi di riscrittura.pdf

accesso solo dalla rete interna

Dimensione 2.02 MB
Formato Adobe PDF
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: https://hdl.handle.net/20.500.12319/1730