Laura Kovács

Combinar la reescritura y el razonamiento inductivo mejora la eficiencia en la demostración automática de teoremas.

Un nuevo método para crear programas sin recursión a partir de especificaciones funcionales.

Este artículo revisa los esfuerzos recientes para automatizar el razonamiento inductivo en la demostración de teoremas.