A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata
['Yoshiaki TAKATA', 'Akira ONISHI', 'Ryoma SENDA', 'Hiroyuki SEKI']
/
IEICE Transactions in Information and Systems
/ Vol. 107
/ No. 12
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？