TY - RPRT TI - Abstract computation over first-order structures. Extras: From programs to decision trees I AU - Christine Gaßner PY - 2026 UR - https://arxiv.org/abs/2608.20424 ID - 2608.20424 ER -