Termtools January 2024

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

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

discussions & poll regarding the new termCOMP format
by Florian Frohn
4 months

Probabilistic Rewriting at termCOMP
by Florian Frohn
5 months, 1 week

FSCD 2024: Second Call for Papers
by Carsten Fuhs
5 months, 2 weeks
Results per page: