No. Title Author Year
1 A Linear-Time Nominal μ-Calculus with Name Allocation Hausmann, Daniel et al. 2021
2 Nominal Büchi Automata with Name Allocation Urbat, Henning et al. 2021
3 Game-Based Local Model Checking for the Coalgebraic mu-Calculus Hausmann, Daniel et al. 2019
4 Global Caching for the Alternation-free µ-Calculus Hausmann, Daniel et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI