Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Liye Guo

Logik in der Informatik Fortschrittliche Analyse von funktionalen Programmen mit LCTRS

Eine neue Methode zur Analyse funktionaler Programme mit höherordentlichen Termumformungssystemen.

2025-10-15T22:07:06+00:00 ― 6 min Lesedauer

Logik in der Informatik Analyse der Programmausführung mit LCSTRSs

Ein neues Framework zur Analyse der Termination in höherordentlichen Funktionen.

2025-07-23T12:33:30+00:00 ― 7 min Lesedauer