Author:
Carayol Arnaud,Serre Olivier
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Model-Checking Higher-Order Effectful Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Cost Automata, Safe Schemes, and Downward Closures;Fundamenta Informaticae;2023-04-07
3. Collapsible Pushdown Parity Games;ACM Transactions on Computational Logic;2021-06-24
4. Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties;ACM Transactions on Computational Logic;2021-05-15
5. How Good Is a Strategy in a Game with Nature?;ACM Transactions on Computational Logic;2020-07-31