tr-announce February 2007

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

2007-03: Proving Termination by Bounded Increase
by Peter Schneider-Kamp
17 years, 3 months

2007-02: SAT Solving for Termination Analysis with Polynomial Interpretations
by Peter Schneider-Kamp
17 years, 3 months
Results per page: