December 2005 Archives by thread

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

Starting: Fri Dec 2 14:57:22 CEST 2005
Ending: Thu Dec 15 23:13:01 CEST 2005
Messages: 7

• [Om] Common Logic ISO pre-standard   Jacques Carette
• [Om] Specification of functions, preserving function signatures   W Naylor
  • [Om] Specification of functions, preserving function signatures   W Naylor
  • [Om] Specification of functions, preserving function signatures   Andreas Franke
• [Om] intersection of a family of sets   Paul Libbrecht
• [Om] WebALT2006: Call for Participation   Olga Caprotti
• [Om] MKM 2006 First Call for Papers and Workshop Proposals   William Farmer

Last message date: Thu Dec 15 23:13:01 CEST 2005
Archived on: Fri Dec 16 09:34:58 CEST 2005

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