Sciweavers

56
Voted
MSCS
2008

Computation with classical sequents

14 years 8 months ago
Computation with classical sequents
Steffen van Bakel, Pierre Lescanne
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where MSCS
Authors Steffen van Bakel, Pierre Lescanne
Comments (0)