Publicaciones en las que colabora con FRANCISCO JAVIER MONTERO DE JUAN (3)

2019

  1. An Algebraic Approach to DC Railway Electrification Verification

    Mathematics in Computer Science, Vol. 13, Núm. 3, pp. 449-457

2010

  1. An algebraic method for managing reliability in propositional logics

    Proceedings of 2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2010

  2. From computer algebra to discretized continuous logic

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico]