science.mathematics.frogs (date)

science.mathematics.frogs (date)

January 24, 2005

Grant application, Alessio Guglielmi
resolution as cut, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

January 21, 2005

Re: Trivial observation on resolution, James Harland

January 20, 2005

Re:Trivial observation on resolution, Alessio Guglielmi
Re:Trivial observation on resolution, David Pym
Re:Trivial observation on resolution, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
Trivial observation on resolution, Alessio Guglielmi

January 16, 2005

Workshops, Alessio Guglielmi

January 13, 2005

New paper: Classical categories and deep inference, Richard McKinley

January 07, 2005

Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli

January 06, 2005

Re: Term syntax for derivations in Deep-Inference systems - CORRECTION, Alessio Guglielmi
Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi

January 05, 2005

Re: Term syntax for derivations in Deep-Inference systems, Kai Brünnler

January 02, 2005

Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi

News | FAQ | advertise