2 papers
cs.LO2026
Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
Louis Rustenholz, Manuel V. Hermenegildo, Pedro Lopez-Garcia +3
We present the theory underpinning a complexity analysis tool (under development) that aims at automating tedious parts of the analysis of complex algorithms originating from the f…
cs.PL2025
Abstractions of Sequences, Functions and Operators
Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo
We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as highe…