Termtools

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

Final Run tomorrow
by YAMADA, Akihisa
2 weeks, 4 days

FSCD 2024: First Call for Papers
by Carsten Fuhs
1 month

0th probabilistic termCOMP
by YAMADA, Akihisa
1 month, 2 weeks

CPF/CeTA: split for relative termination?
by Johannes Waldmann
1 month, 2 weeks

first run
by YAMADA, Akihisa
1 month, 2 weeks

can CeTA infer relative termination from absolute termination?
by Johannes Waldmann
1 month, 3 weeks

CeTA postprocessor
by YAMADA, Akihisa
2 months

termCOMP 2023 registration
by YAMADA, Akihisa
2 months, 1 week

Termination and Complexity Competition 2023: Second Call for
by Juergen Giesl
2 months, 2 weeks

Problems with StarExec + SymPy
by lommen@cs.rwth-aachen.de
3 months, 1 week
Results per page: