tr-announce May 2010

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 2 discussions

2010-09: The Structure of the Intersection of Tolerance and Cocomparability Graphs
by Carsten Fuhs
14 years

2010-10: Automated Termination Analysis for Logic Programs with Cut
by Carsten Fuhs
14 years
Results per page: