May 2018 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon May 7 16:26:36 CEST 2018
Ending: Fri May 11 22:01:07 CEST 2018
Messages: 3

• [Termtools] how to read syntax of higher-order rules   Makoto Hamana
• [Termtools] Termination and Complexity Competition 2018: Call for Participation   Juergen Giesl
• [Termtools] WADT 2018 & Leverhulme School - New extension to abstract submission deadline!   WADT 2018

Last message date: Fri May 11 22:01:07 CEST 2018
Archived on: Sat May 12 20:35:48 CEST 2018

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...