Ordering-based methodos for proving termination automatically

Tesis doctoral de Cristina Borralleras Andreu   Datos académicos de la tesis doctoral «Ordering-based methodos for proving termination automatically« Título […]

, , , , ,