TY  - RPRT
TI  - Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
AU  - Christine Gaßner
PY  - 2025
UR  - https://arxiv.org/abs/2504.21192
ID  - 2504.21192
ER  -