tr-announce October 2007

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

2007-17: The DP Framework for Proving Termination of Term Rewriting
by Peter Schneider-Kamp
16 years, 7 months
Results per page: