January 2009 Archives by subject

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

Starting: Mon Jan 19 10:56:34 EDT 2009
Ending: Fri Jan 30 09:33:32 EDT 2009
Messages: 2

• [POPLmark] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge   Stephanie Weirich
• [POPLmark] Recent solutions to the challenge   Martijn Vermaat

Last message date: Fri Jan 30 09:33:32 EDT 2009
Archived on: Fri Jan 30 09:35:50 EDT 2009

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