Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2023/03/01 Vol. E106-DNo. 3pp. 294-302 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —) Category: Keyword: LTL with the freeze quantifier, µ-calculus, register automaton, equivalent transformation, model checking,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2022/09/01 Vol. E105-DNo. 9pp. 1620-1623 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: model checking, register pushdown system, regular valuation,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2021/03/01 Vol. E104-DNo. 3pp. 370-380 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — New Trends of Theory of Computation and Algorithm —) Category: Keyword: register pushdown system, register automaton, regularity preservation property,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/03/01 Vol. E103-DNo. 3pp. 540-548 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —) Category: Keyword: register context-free grammar, register type, computational complexity, data word, data language,