tr-announce April 2011

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

2011-03: A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems
by Carsten Fuhs
13 years

2011-02: Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
by Carsten Fuhs
13 years, 1 month
Results per page: