<script type="text/javascript"> //<![CDATA[ ord = window.ord || Math.floor(Math.random()*1E16); document.write('<script type="text/javascript" src="http://ad1.netshelter.net/adj/ns.osdir/homepage;kw=;tile=1;dcopt=ist;sz=728x90;ord=' + ord + '?"><\/script>'); //]]> </script> <noscript><a href="http://ad1.netshelter.net/jump/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" target="_blank" ><img src="http://ad1.netshelter.net/ad/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" border="0" alt="" /></a></noscript>
science.mathematics.frogs (date)
<
Prev Period
]
[
Next Period
>
October 28, 2004
ICALP workshop proposal: Applications of New Proof Theory
,
Charles A Stewart
October 22, 2004
(unknown)
,
cas-67uHxSI+EqixbKUeIHjxjQ
October 21, 2004
Re: Splitting, cut elimination and classical logic
,
Lutz Strassburger
Re: Splitting, cut elimination and classical logic
,
Alessio Guglielmi
October 08, 2004
Re: Splitting, cut elimination and classical logic
,
Lutz Strassburger
October 07, 2004
Re: Splitting, cut elimination and classical logic
,
Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
Re: Splitting, cut elimination and classical logic
,
Alessio Guglielmi
Re: Splitting for classical logic
,
Lutz Strassburger
October 06, 2004
Re: Splitting and cut elimination
,
Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
Re: Splitting and cut elimination
,
Charles A Stewart
October 05, 2004
Re:Splitting and cut elimination
,
Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
Re: Splitting and cut elimination
,
Kai Brünnler
Re:Splitting and cut elimination
,
Alessio Guglielmi
Re: Splitting and cut elimination
,
Kai Brünnler
Re:Splitting and cut elimination
,
Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
October 04, 2004
Splitting for classical logic
,
Alessio Guglielmi
Splitting and cut elimination
,
Alessio Guglielmi
<
Prev Period
]
[
Next Period
>
</td> <td valign="top"> <iframe src="http://osdir.com/ml/foot09-bigblock.html" frameborder="0" scrolling="no" width="338px" height="283px">
News
|
FAQ
|
advertise
