Author:
Bruse Florian,Lange Martin
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference46 articles.
1. Separating the expressive power of propositional dynamic and modal fixpoint logics;Alsmann,2021
2. A really temporal logic;Alur;J. ACM,1994
3. Visibly pushdown languages;Alur,2004
4. Rudiments of μ-Calculus;Arnold,2001
5. The complexity of model checking higher-order fixpoint logic;Axelsson;Log. Methods Comput. Sci.,2007