On the complexity of stratified logics, Fachbücher von Luca Vercelli

"On the Complexity of Stratified Logics" ist ein Fachbuch, das sich mit der vergleichenden Analyse zweier Traditionen in der impliziten rechnerischen Komplexität beschäftigt, um die Klasse FPTIME der polynomial zeitlich berechenbaren Funktionen zu charakterisieren. Das Buch untersucht, wie FPTIME sowohl durch die Intuitionistische Leichte Affine Logik (ILAL) als auch durch die Sichere Rekursion auf Notation (SRN) erfasst werden kann. ILAL, abgeleitet aus der Linearen Logik, ist durch das strukturelle Invarianzprinzip der Stratifikation gekennzeichnet. Im Gegensatz dazu basiert SRN auf der prädikativen Rekursion, einer Einschränkung des Standardrekursionsschemas, das zur Definition primitiver rekursiver Funktionen verwendet wird. Die Untersuchung der gemeinsamen grundlegenden Prinzipien von Stratifikation und prädikativer Rekursion bildet den Schwerpunkt dieser Arbeit und bietet wertvolle Einblicke in die theoretischen Grundlagen der rechnerischen Komplexität.