Termtools April 2024

termtools@lists.rwth-aachen.de
  • 2 participants
  • 3 discussions

TRS format at TermComp
by Florian Frohn
1 week, 4 days

new ARI format at termCOMP '24
by Florian Frohn
1 month, 4 weeks

Termination and Complexity Competition 2024: Call for Participation
by Florian Frohn
2 months, 1 week
Results per page: