Sciweavers

TLCA
2009
Springer

The Cut-Elimination Theorem for Differential Nets with Promotion

14 years 4 months ago
The Cut-Elimination Theorem for Differential Nets with Promotion
Michele Pagani
Added 27 Jul 2010
Updated 27 Jul 2010
Type Conference
Year 2009
Where TLCA
Authors Michele Pagani
Comments (0)