Picture of molecule

Open Access research that better understands matter at a molecular level...

Strathprints makes available Open Access scholarly outputs by researchers based within the Department of Chemical & Process Engineering. Key areas of research specialism include the manufacture and application of porous materials and metal-organic frameworks; the properties and processing of polymeric materials; the nucleation, growth and separation of crystals; the applications of electrochemistry to coatings, metal ion recovery, and water clean-up.

Explore some of this Open Access research from Chemical & Process Engineering. Or explore all Strathclyde Open Access research...

Browse by ISBN

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

Alcolei, Aurore and Clairambault, Pierre and Hyland, Martin and Winskel, Glynn; Ghica, Dan R. and Jung, Achim, eds. (2018) The true concurrency of Herbrand's theorem. In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, GBR, 5:1-5:22. ISBN 9783959770880

This list was generated on Fri Feb 3 07:32:33 2023 GMT.