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.

K

Kupke, Clemens and Rot, Jurriaan; Fernandez, Maribel and Muscholl, Anca, eds. (2020) Expressive logics for coinductive predicates. In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, ESP, 26:1--26:18. ISBN 9783959771320

This list was generated on Sun May 15 06:31:15 2022 BST.