Abstract diagram of brain, suggesting artificial intelligence

Open Access research that delivers better decision support and knowledge modelling

Strathprints makes available Open Access scholarly outputs by Management Science at Strathclyde. Particular research specialisms include knowledge modelling within organisations but also problem structuring and analytical approaches to better interpret risk and uncertainty. Some of these management science approaches are applied within healthcare systems and have close links with economics and operations management.

Explore some of this Open Access research from Management Science. Or explore all Strathclyde Open Access research...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2015 | 2013
Number of items: 4.

2015

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

2013

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik; Heckel, Reiko and Milius, Stefan, eds. (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, POL, pp. 19-33. ISBN 9783642402050

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten; Hasegawa, Masahito, ed. (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, NLD, pp. 156-172. ISBN 9783642389450

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton; (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, USA, pp. 243-252. ISBN 9781479904136

This list was generated on Fri Aug 19 05:36:24 2022 BST.