Termtools August 2023

termtools@lists.rwth-aachen.de
  • 4 participants
  • 6 discussions

Final Run tomorrow
by YAMADA, Akihisa
9 months, 2 weeks

FSCD 2024: First Call for Papers
by Carsten Fuhs
9 months, 4 weeks

0th probabilistic termCOMP
by YAMADA, Akihisa
10 months, 2 weeks

CPF/CeTA: split for relative termination?
by Johannes Waldmann
10 months, 2 weeks

first run
by YAMADA, Akihisa
10 months, 2 weeks

can CeTA infer relative termination from absolute termination?
by Johannes Waldmann
10 months, 2 weeks
Results per page: