Termtools Juli 2021

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

Question on AC rewriting in TermComp
von Frédéric Blanqui
2 Jahre, 12 Monate

Main run
von YAMADA, Akihisa
3 Jahre

FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)
von Carsten Fuhs
3 Jahre

Some errors
von YAMADA, Akihisa
3 Jahre

Termination and Complexity Competition 2021: Call for Participation (Deadline June 30)
von Juergen Giesl
3 Jahre
Ergebnisse pro Seite: