Naming proofs in classical propositional logic

Cached

Download Links

by François Lamarche , Lutz Straßburger
Venue:IN PAWE̷L URZYCZYN, EDITOR, TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2005, VOLUME 3461 OF LECTURE
Citations:24 - 8 self