Publications in collaboration with researchers from Universidad del País Vasco/Euskal Herriko Unibertsitatea (2)

2010

  1. A complete axiomatization of strict equality

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

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science