science.mathematics.frogs (date)

science.mathematics.frogs (date)

November 25, 2004

Proposal for a workshop in Lisbon, Paola Bruscoli

November 18, 2004

Web page on open problems, Alessio Guglielmi

November 11, 2004

Mailing list, Alessio Guglielmi

November 08, 2004

Re: Paper announcement, Lutz Strassburger

November 03, 2004

Re:ICALP workshop proposal: Applications of New Proof Theory, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw

November 02, 2004

Re:Paper anouncement, Alessio Guglielmi
Paper anouncement, Lutz Strassburger

November 01, 2004

Re:ICALP workshop proposal: Applications of New Proof Theory, Paola Bruscoli
Re:ICALP workshop proposal: Applications of New Proof Theory, Alessio Guglielmi
Re: Splitting, cut elimination and classical logic, Alessio Guglielmi

News | FAQ | advertise