August 2011 Archives by subject

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

Starting: Wed Aug 17 00:18:15 CEST 2011
Ending: Sun Aug 21 05:31:13 CEST 2011
Messages: 2

• [Termtools] semantics of higher-order rewriting?   Frederic Blanqui
• [Termtools] Termination competition 2011 started   Frederic Blanqui

Last message date: Sun Aug 21 05:31:13 CEST 2011
Archived on: Sun Aug 21 05:31:10 CEST 2011

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