Sciweavers

TLCA
1997
Springer

Proof Nets, Garbage, and Computations

14 years 3 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TLCA
Authors Stefano Guerrini, Simone Martini, Andrea Masini
Comments (0)