science.mathematics.frogs (date)

science.mathematics.frogs (date)

December 20, 2004

Re: counterexample for reversing the 4 rules in the CoS system for K4, Kai Brünnler
counterexample for reversing the 4 rules in the CoS system for K4, Phiniki Stouppa
Re: Term syntax for derivations in Deep-Inference systems, Steven Lengrand
Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi

December 19, 2004

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

December 14, 2004

Re: proof nets for multiplicative units, Francois Lamarche
proof nets for multiplicative units, Lutz Strassburger

December 08, 2004

Re: Encoding pi calculus in Calculus of Structures, Francois Lamarche

December 05, 2004

Re:Encoding pi calculus in Calculus of Structures, Alessio Guglielmi

December 01, 2004

Encoding pi calculus in Calculus of Structures, Alwen Tiu

News | FAQ | advertise