Conditions for the completeness of a certain system of entire functions and their applications to the pomme operatorsN. I. Nagnibida · Mathematical Notes · 1991

AIP Conference Proceedings [AIP Publishing SOLARPACES 2018: International Conference on Concentrating Solar Power and Chemical Energy Systems - Casablanca, Morocco (2–5 October 2018)] SOLARPACES 2018: International Conference on Concentrating Solar Power and Chemical Energy Systems - Detailed dynamic model for the gravity drainage of a tower solar receiver, with ThermoSysPro library - Time needed to completely drain the receiver and salt temperature as a function of the ambient conditionsHefni, Baligh El · 2019

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Algebraic reasoning and completeness in typed languagesRiecke, Jon G.; Subrahmanyam, Ramesh · 1993

Generalised coinductionBARTELS, FALK · Mathematical Structures in Computer Science · 2003

The algebra of multirelationsMARTIN, C. E.; CURTIS, S. A. · Mathematical Structures in Computer Science · 2013

Quantum computation and quantum informationPAUL, THIERRY · Mathematical Structures in Computer Science · 2007

Ordinal computationsKOEPKE, PETER; KOERWIEN, MARTIN · Mathematical Structures in Computer Science · 2006

Categories, relations and dynamic programmingMoor, Oege De · Mathematical Structures in Computer Science · 1994

Differential categoriesBLUTE, R. F.; COCKETT, J. R. B.; SEELY, R. A. G. · Mathematical Structures in Computer Science · 2006

Impredicativity entails untypednessLIETZ, PETER; STREICHER, THOMAS · Mathematical Structures in Computer Science · 2002

Towards a quantum programming languageSELINGER, PETER · Mathematical Structures in Computer Science · 2004