Ceta - A Tool For Certified Termination Analysis: 1 MotivationDocumentoCeta - A Tool For Certified Termination Analysis: 1 MotivationAggiunto da Jemjem Tan0 valutazioniIl 0% ha trovato utile questo documentoSalva Ceta - A Tool For Certified Termination Analysis: 1 Motivation per dopo