Publikationen, an denen er mitarbeitet IGNACIO FÁBREGAS ALFARO (3)

2019

  1. 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

  1. 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

  1. Sobre redes de Petri difusas

    Actas del I Simposio sobre Lógica Fuzzy y Soft Computing