Instituto Universitario de Estadística y Ciencia de Datos
Zentrum/Institut
IGNACIO
FÁBREGAS ALFARO
Profesor contratado doctor
Publikationen, an denen er mitarbeitet IGNACIO FÁBREGAS ALFARO (3)
2019
-
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 78-106
2017
-
Logical characterisations and compositionality of input-output conformance simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Sobre redes de Petri difusas
Actas del I Simposio sobre Lógica Fuzzy y Soft Computing