학술논문
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
Document Type
Article
Author
Source
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 15 May 2021, 22(2))
Subject
Language
English
ISSN
1557945X
15293785
15293785