Browse by Journal or other publication
![]() | Up a level |
2012
Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433
Strathprints makes available scholarly Open Access content by researchers in the Department of Civil & Environmental Engineering, based within the Faculty of Engineering.
Civil & Environmental Engineering hosts the Centre for Intelligent Infrastructure which harnesses techniques from a variety of sciences and engineering in order to solve problems surrounding safety and resilience of structures supporting energy generation, waste storage, transportation and urban infrastructure. The wider Department also demonstrates specialisms in ground engineering and energy geosciences, as well as environmental sustainability.
Explore the Open Access research of Civil & Environmental Engineering. Or explore all of Strathclyde's Open Access research...
![]() | Up a level |
Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433