2002 Archives by thread

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

Starting: Fri Apr 26 14:26:51 MEST 2002
Ending: Thu Sep 5 23:52:55 MEST 2002
Messages: 12

• [Flirts] Initial test of the FLIRTS list   Till Mossakowski
• [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002   Till Mossakowski
  • [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002   Amilcar Sernadas
• [Flirts] Special FLIRTS track at WADT   Till Mossakowski
• [Flirts] CombLog'04 very early announcement   Amilcar Sernadas
• [Flirts] Paper: Implementing logics: from genericity to heterogeneity   Till Mossakowski

Last message date: Thu Sep 5 23:52:55 MEST 2002
Archived on: Sun Oct 9 15:15:55 MEST 2005

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