Open Access
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata
-
Full Text Views
119
- Cite this
- Free PDF (137.6KB)
Summary :
- Publication
- IEICE TRANSACTIONS on Information Vol.0 No.0 pp.0-0
- Publicized
- 2024/07/26
- DOI
- 10.1587/10.1587/transinf.2024EDL8058
- Type of Manuscript
- LETTER
Authors
Latest Issue
Contents
Copyrights notice of machine-translated contents
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.
Cite this
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 -
English
