Picture of dam.

Open Access research that pioneers intelligent infrastructure

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...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2012 | 2011 | 2010
Number of items: 3.

2012

Ghani, Neil and Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). 12. ISSN 1860-5974

2011

Ghani, Neil and Johann, Patricia and Fumex, Clement; Corradini, Andrea and Klin, Bartek and Cirstea, Corina, eds. (2011) Indexed induction and coinduction, fibrationally. In: Algebra and coalgebra in computer science. Lecture Notes in Computer Science . Springer, pp. 176-191. ISBN 9783642229435

2010

Ghani, Neil and Johann, Patricia and Fumex, Clement; Dawar, Anuj and Veith, Helmut, eds. (2010) Fibrational induction rules for initial algebras. In: Computer Science Logic. Lecture Notes In Computer Science, 6247 . Springer, pp. 336-350. ISBN 978-3-642-15204-7

This list was generated on Fri Jan 15 23:59:10 2021 GMT.