On transforming intuitionistic matrix proofs into standard-sequent proofs (1995)

Cached

Download Links

by Stephan Schmitt , Christoph Kreitz
Venue:TABLEAUX–95, LNAI 918
Citations:26 - 15 self