April 2018 Archives by subject

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

Starting: Tue Apr 3 09:02:38 CEST 2018
Ending: Fri Apr 27 20:15:12 CEST 2018
Messages: 7

• [Termtools] how to read syntax of higher-order rules   Makoto Hamana
• [Termtools] how to read syntax of higher-order rules   Akihisa Yamada
• [Termtools] WADT 2018 - 3rd Call for Papers & Leverhulme School   WADT 2018
• [Termtools] WADT 2018 - Extension to abstract submission deadline!   WADT 2018
• [Termtools] WST 2018 - 2nd Call for Papers (submission: April 15, 2018)   Salvador Lucas
• [Termtools] WST 2018 - Call for Papers (extended deadline: April 30, 2018)   Salvador Lucas
• [Termtools] WST 2018 - Last Call for Papers (deadline: April 30, 2018)   Salvador Lucas

Last message date: Fri Apr 27 20:15:12 CEST 2018
Archived on: Sun Apr 29 05:28:33 CEST 2018

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