DMCA

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

Cached

Download Links

by Rajeev Goré, Linda Postniece , Alwen Tiu
Citations:15 - 4 self