Publicaciones en colaboración con investigadores/as de Swansea University (3)

2019

  1. On Computing the Union of MUSes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue

    Journal of Universal Computer Science

2006

  1. Selected papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages J.UCS Special Issue

    Journal of Universal Computer Science