science.mathematics.frogs (date)

science.mathematics.frogs (date)

February 28, 2005

Current research topics update, Alessio Guglielmi

February 25, 2005

Re: double switch, Robert Hein
Re: double switch, Jon Cohen
double switch, Jon Cohen

February 19, 2005

[PT] GoI/Semantics of Classical Proofs, David J. Pym
[PT] Re: GoI/Semantics of Classical Proofs, David J. Pym
Re: GoI/Semantics of Classical Proofs, David J. Pym
GoI/Semantics of Classical Proofs, David J. Pym

February 18, 2005

Proof nets for classical logic and Boolean categories, Lutz Strassburger
Re:Calculus of structures and sequent calculus, Alessio Guglielmi
Re:Calculus of structures and sequent calculus, Alessio Guglielmi

February 17, 2005

Re: Calculus of structures and sequent calculus, Kai Brünnler

February 14, 2005

Re: Calculus of structures and sequent calculus, Kai Brünnler
Re: Calculus of structures and sequent calculus, Yves Guiraud
Re: Calculus of structures and sequent calculus, Alessio Guglielmi
Re: Calculus of structures and sequent calculus, Kai Brünnler
Re: Calculus of structures and sequent calculus, Richard McKinley
Re:Calculus of structures and sequent calculus, Yves Guiraud

February 12, 2005

Olive oil, Alessio Guglielmi
System BV is NP-complete, Ozan Kahramanogullari
Re:Calculus of structures and sequent calculus, Alessio Guglielmi

February 11, 2005

Calculus of structures and sequent calculus, Yves Guiraud

February 10, 2005

Workshop, Alessio Guglielmi

February 09, 2005

A local system for intuitionistic logic, Alwen Tiu

February 01, 2005

Re: Astral alignment, Michel Parigot
Astral alignment, Alessio Guglielmi

News | FAQ | advertise