<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 (thread)
<
Prev Period
]
[
Next Period
>
counterexample for reversing the 4 rules in the CoS system for K4
,
Phiniki Stouppa
Re: counterexample for reversing the 4 rules in the CoS system for K4
,
Kai Brünnler
Term syntax for derivations in Deep-Inference systems
,
Steven Lengrand
Re: Term syntax for derivations in Deep-Inference systems
,
Kai Brünnler
Re: Term syntax for derivations in Deep-Inference systems
,
Alessio Guglielmi
Re: Term syntax for derivations in Deep-Inference systems
,
Steven Lengrand
proof nets for multiplicative units
,
Lutz Strassburger
Re: proof nets for multiplicative units
,
Francois Lamarche
Encoding pi calculus in Calculus of Structures
,
Alwen Tiu
Re:Encoding pi calculus in Calculus of Structures
,
Alessio Guglielmi
Re: Encoding pi calculus in Calculus of Structures
,
Francois Lamarche
<
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
