2003 Archives by thread

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

Starting: Wed Jan 8 16:26:33 MEST 2003
Ending: Mon Oct 6 12:50:38 MEST 2003
Messages: 16

• [Flirts] new paper on fibring   Amilcar Sernadas
• [Flirts] 2 new papers   Amilcar Sernadas
• [Flirts] new paper   Amilcar Sernadas
• [Flirts] Re: institution representations, junk models, and completeness   Till Mossakowski
• [Flirts] Re: hol institution; please send your FLIRTS publications   Till Mossakowski
• [Flirts] New paper on heterogeneous specification   Till Mossakowski
• [Flirts] graph colouring institutions   Giuseppe Scollo
• [Flirts] CombLog04: Call for Contributions   Amilcar Sernadas

Last message date: Mon Oct 6 12:50:38 MEST 2003
Archived on: Sun Oct 9 15:15:55 MEST 2005

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