Strathprints makes available scholarly Open Access content by researchers in the Department of Mathematics & Statistics.
Mathematics & Statistics hosts the Marine Population Modelling group which is engaged in research into topics surrounding marine resource modelling and ecology. Recent work has included important developments in the population modelling of marine species.
Explore the Open Access research of Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...
Kupke, Clemens and Marti, Johannes and Venema, Yde; (2022) Size measures and alphabetic equivalence in the μ-calculus. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. Proceedings - Symposium on Logic in Computer Science . ACM, ISR. ISBN 9781450393515
![[up]](/style/images/multi_up.png)
Up a level