• Automated reasoning for attributed graph properties 

      Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando (2018-11)
      Article
      Accés obert
      Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the ...