학술논문
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
Document Type
Article
Author
Source
In: IEICE Transactions on Information and Systems . (IEICE Transactions on Information and Systems, March 2023, E106D(3):294-302)
Subject
Language
English
ISSN
17451361
09168532
09168532