Search
Now showing items 11-12 of 12
Invariant-free deduction systems for temporal logic
(2012-07-13)
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary ...
Influencia del diseño de los canales de flujo en el rendimiento de una pila de combustible de membrana de intercambio protónico (PEMFC)
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2012-05-28)
Las pilas de combustible se presentan hoy día como una de las alternativas de generación de energía limpia más adecuadas. En este proyecto de tesis se presenta una visión global de lo que son, de cómo funcionan y de cuáles ...