E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 2.

Fábregas Alfaro, Ignacio y Frutos Escrig, David de y Palomino, Miguel (2009) Non-strongly stable orders also define interesting simulation relations. In Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture notes in computer science (5728). Springer, pp. 221-235. ISBN 978-3-642-03740-5

Fábregas Alfaro, Ignacio (2012) Técnicas Coalgebraicas y Categóricas para el estudio de las semánticas de procesos. [Tesis]

Esta lista fue generada el Sun May 28 14:22:18 2017 CEST.