tr-announce April 2012

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

2012-06: Automated Termination Proofs for Java Programs with Cyclic Data
by Thomas Ströder
12 years, 1 month

2012-05: Automated Complexity Analysis for Prolog by Term Rewriting
by Thomas Ströder
12 years, 1 month
Results per page: