Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
Centre
Members
Publications
Publications
Preprints
Theses
Research Groups
News & Events
News
Meetings
Seminars
Colloquia
Outreach
Other
Projects
CMAT-LABs
An isomorphism between a fragment of sequent calculus and an extension of natural deduction
Lecture Notes in Computer Science, vol. 2514
Journal Article
José Santo
Publication
Pages: 352-366
Identifiers
Other: MR2083347
Locators
Alternative Titles
