Full Text Views
176
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Yoshiaki TAKATA, Akira ONISHI, Ryoma SENDA, Hiroyuki SEKI, "A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata" in IEICE TRANSACTIONS on Information,
vol. , no. 0, pp. 0-0, January , doi: 10.1587/10.1587/transinf.2024EDL8058.
Abstract:
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2024EDL8058/_advpub_f
Copy
@ARTICLE{2024EDL8058,
author={Yoshiaki TAKATA, Akira ONISHI, Ryoma SENDA, Hiroyuki SEKI, },
journal={IEICE TRANSACTIONS on Information},
title={A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata},
year={},
volume={},
number={0},
pages={0-0},
abstract={},
keywords={},
doi={10.1587/10.1587/transinf.2024EDL8058},
ISSN={},
month={January},}
Copy
TY - JOUR
TI - A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata
T2 - IEICE TRANSACTIONS on Information
SP - 0
EP - 0
AU - Yoshiaki TAKATA
AU - Akira ONISHI
AU - Ryoma SENDA
AU - Hiroyuki SEKI
PY -
DO - 10.1587/10.1587/transinf.2024EDL8058
JO - IEICE TRANSACTIONS on Information
SN -
VL -
IS - 0
JA - IEICE TRANSACTIONS on Information
Y1 - January
AB -
ER -