The search functionality is under construction.
The search functionality is under construction.
Advance publication

Open Access
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata

Yoshiaki TAKATA, Akira ONISHI, Ryoma SENDA, Hiroyuki SEKI

  • Full Text Views

    176

  • 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

Contents