Sciweavers

AIML
2008

Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents

13 years 5 months ago
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
Rajeev Goré, Linda Postniece, Alwen Tiu
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AIML
Authors Rajeev Goré, Linda Postniece, Alwen Tiu
Comments (0)