TY  - RPRT
TI  - Abstractions of Sequences, Functions and Operators
AU  - Louis Rustenholz
AU  - Pedro Lopez-Garcia
AU  - Manuel V. Hermenegildo
PY  - 2025
UR  - https://arxiv.org/abs/2507.23151
ID  - 2507.23151
ER  -