Picture of social media icons against a pciture of the planet earth

Open Access research that better understands human-computer interaction...

Strathprints makes available scholarly Open Access content by researchers within the Department of Computer & Information Sciences working as part of the Strathclyde iSchool Research Group (SiRG). The SiRG specialises in understanding how people search for information and explores interactive search tools that support their information seeking and retrieval tasks. Research work also includes investigations into information engagement habits of users, particularly in the domains of digital health and social media.

Explore some of this Open Access research from the Departments of Computer & Information Sciences.

Or explore all of Strathclyde's Open Access research...

Browse by ISBN

Group by: Authors | Item type | No Grouping
Jump to: K
Number of items: 1.


Kupke, Clemens and Marti, Johannes and Venema, Yde; Manea, Florin and Simpson, Alex, eds. (2022) Succinct graph representations of ยต-calculus formulas. In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959772181

This list was generated on Mon May 16 05:45:39 2022 BST.