Browse by Journal or other publication
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433
Open Access research that better understands changing marine ecologies...
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...