TY - RPRT TI - Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification AU - Georg Schindling PY - 2025 UR - https://arxiv.org/abs/2506.19746 ID - 2506.19746 ER -