TY  - RPRT
TI  - A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
AU  - Yoshiaki Takata
AU  - Akira Onishi
AU  - Ryoma Senda
AU  - Hiroyuki Seki
PY  - 2024
UR  - https://arxiv.org/abs/2406.11351
ID  - 2406.11351
ER  -