Author:
Axelsson Roland,Lange Martin,Somla Rafał
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Local higher-order fixpoint iteration;Information and Computation;2022-11
2. Capturing Bisimulation-Invariant Exponential-Time Complexity Classes;Electronic Proceedings in Theoretical Computer Science;2022-09-20
3. Formal verification of OIL component specifications using mCRL2;International Journal on Software Tools for Technology Transfer;2022-04-21
4. A Probabilistic Higher-order Fixpoint Logic;Logical Methods in Computer Science;2021-12-02
5. Temporal logic with recursion;Information and Computation;2021-12