|
Workshop: msg#00003science.mathematics.frogs
Hello, for those of you that needed it for being reimbursed, there's now a web page for the workshop, with full `corporate identity'. Please let me now have titles, abstracts, suggestions, etc. <http://iccl.tu-dresden.de/wpt-2005> -Alessio |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | A local system for intuitionistic logic: 00003, Alwen Tiu |
|---|---|
| Next by Date: | Calculus of structures and sequent calculus: 00003, Yves Guiraud |
| Previous by Thread: | A local system for intuitionistic logici: 00003, Alwen Tiu |
| Next by Thread: | Calculus of structures and sequent calculus: 00003, Yves Guiraud |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |