January 2009 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ 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] Recent solutions to the challenge   Martijn Vermaat
• [POPLmark] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge   Stephanie Weirich

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 ] [ subject ] [ date ]
• More info on this list...