Faglige interesser
For mer informasjon, se min engelske side.
Ethan Brauer
English version of this page
E-post
e.e.brauer@ifikk.uio.no
Mobiltelefon
+47 41195535
Brukernavn
Besøksadresse
Blindernveien 31
Georg Morgenstiernes hus
0313 Oslo
Postadresse
Postboks 1020 Blindern
0315 Oslo
Andre tilknytninger
Den internasjonale sommerskole
(Student)
Publikasjoner
-
Brauer, Ethan Erich (2024). Coarsening Natural Deduction Proofs I: Finding Perfect Proofs. Journal of Logic and Computation. ISSN 0955-792X. doi: 10.1093/logcom/exad077. Fulltekst i vitenarkiv
Publisert
3. aug. 2023 11:28
- Sist endret
9. aug. 2023 16:27