science.mathematics.frogs (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise