TY - RPRT TI - Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes AU - Roy Overbeek AU - Jörg Endrullis AU - Aloïs Rosset PY - 2023 DO - 10.1016/j.jlamp.2023.100873 UR - https://arxiv.org/abs/2203.01032 ID - 2203.01032 ER -