Termtools Januar 2024

termtools@lists.rwth-aachen.de
  • 5 Teilnehmer
  • 4 Diskussionen

TRS format at TermComp
von Florian Frohn
5 Monate, 1 Woche

discussions & poll regarding the new termCOMP format
von Florian Frohn
9 Monate

Probabilistic Rewriting at termCOMP
von Florian Frohn
10 Monate, 1 Woche

FSCD 2024: Second Call for Papers
von Carsten Fuhs
10 Monate, 2 Wochen
Ergebnisse pro Seite: