Publisher
Open Publishing Association
Reference12 articles.
1. Studies in Logic and the Foundations of Mathematics;Arnold,2001
2. Infinite Runs in Weighted Timed Automata with Energy Constraints;Bouyer,2008
3. Energy parity games;Chatterjee;Theor. Comput. Sci.,2012
4. Mean-payoff parity games;Chatterjee,2005
5. A Coalgebraic Approach to Linear-Time Logics;Cîrstea,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear-time logics -- a coalgebraic perspective;Logical Methods in Computer Science;2024-06-13