5 results
Chapter 17 - Seismic and Electrical Resistivity Tomography 3D Monitoring at the Ketzin Pilot Storage Site in Germany
- from Part III - Case Studies
-
-
- Book:
- Geophysics and Geosequestration
- Published online:
- 19 April 2019
- Print publication:
- 09 May 2019, pp 297-318
-
- Chapter
- Export citation
Monads of coalgebras: rational terms and term graphs
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 3 / June 2005
- Published online by Cambridge University Press:
- 27 May 2005, pp. 433-451
-
- Article
- Export citation
Haskell in Space: An interactive game as a functional programming exercise
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1077-1085
-
- Article
-
- You have access
- Export citation
Solving Algebraic Equations Using Coalgebra
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 37 / Issue 4 / October 2003
- Published online by Cambridge University Press:
- 15 January 2004, pp. 301-314
- Print publication:
- October 2003
-
- Article
- Export citation
Dualising initial algebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 2 / April 2003
- Published online by Cambridge University Press:
- 01 April 2003, pp. 349-370
-
- Article
- Export citation