Picture of small jelly fish in ocean

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...

Strathprints

Browse by ISBN

[up] Up a level
Group by: Authors | Item type | No Grouping
Jump to: Book Section
Number of items: 3.

Book Section

Kormorida, Yuichi and Katsumata, Shin-ya and Kupke, Clemens and Rot, Jurriaan and Hasup, Ichiro; (2021) Expressivity of quantitative modal logics : categorical foundations via codensity and approximation. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, Piscataway, NJ. ISBN 9781665448956

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2021) Fixed-points for quantitative equational logics. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science, 1 . IEEE, Piscataway, NJ, pp. 1-13. ISBN 9781665448956

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956

This list was generated on Thu Nov 21 13:45:42 2024 GMT.