Publications en collaboration avec des chercheurs de Universidade Nova de Lisboa (1)

2000

  1. Complete monotonic semantic path orderings

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)