Termtools July 2021

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

Question on AC rewriting in TermComp
by Frédéric Blanqui
2 years, 10 months

Main run
by YAMADA, Akihisa
2 years, 11 months

FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)
by Carsten Fuhs
2 years, 11 months

Some errors
by YAMADA, Akihisa
2 years, 11 months

Termination and Complexity Competition 2021: Call for Participation (Deadline June 30)
by Juergen Giesl
2 years, 11 months
Results per page: