Author:
Emerson E. Allen,Jutla Charanjit S.
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
81 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23
2. A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Model checking timed recursive CTL;Information and Computation;2024-06
4. Robust computation tree logic;Innovations in Systems and Software Engineering;2024-03-20
5. Rabin Games and Colourful Universal Trees;Lecture Notes in Computer Science;2024