Publikationen in Zusammenarbeit mit Forschern von Universidade Nova de Lisboa (1)

2000

  1. Complete monotonic semantic path orderings

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