Laura Kovács

Die Kombination aus Umschreiben und induktivem Denken steigert die Effizienz beim automatischen Beweisen von Theoremen.

Eine neue Methode, um rekursive Programme aus funktionalen Spezifikationen zu erstellen.

Dieser Artikel betrachtet die aktuellen Bemühungen, induktives Schliessen in der Beweisführung zu automatisieren.