Análisis de terminaciónAnálisis de terminaciónen sistemas dereescritura.la fiabilidad del programa.Usando procesadores SSR para asegurarLógica en InformáticaNuevos enfoques para la terminación en sistemas de reescrituraUna mirada a usar procesadores SSR para el análisis de terminación de programas.2025-10-15T08:33:24+00:00 ― 6 minilectura