Discover open access scientific publications

Search, annotate, share and cite publications

Publications by CECILIA REIS ENGLANDER LUSTOSA

On Some Relations Between Natural Deduction and Sequent Calculus

English