TY - JOUR T1 - Presheaf automata JO - Annals of Pure and Applied Logic UR - https://doi.org/10.1016/j.apal.2025.103660 PY - 2026/02/01 AU - Struth G AU - ZiemiaƄski K ED - DO - DOI: 10.1016/j.apal.2025.103660 PB - Elsevier BV SP - 103660 EP - 103660 Y2 - 2025/10/30 ER -