default search action
"A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs."
Amy P. Felty (1989)
- Amy P. Felty:
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. ELP 1989: 157-178
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.