Sciweavers

MSCS
2008

Computation with classical sequents

13 years 11 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)