tr-announce December 2008

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

2008-17: Static Termination Analysis for Prolog using Term Rewriting and SAT Solving
by Carsten Fuhs
15 years, 4 months
Results per page: