Cristin-resultat-ID: 2230624
Sist endret: 19. januar 2024, 14:34
NVI-rapporteringsår: 2024
Resultat
Vitenskapelig artikkel
2024

Coarsening Natural Deduction Proofs I: Finding Perfect Proofs

Bidragsytere:
  • Ethan Erich Brauer

Tidsskrift

Journal of Logic and Computation
ISSN 0955-792X
e-ISSN 1465-363X
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2024
Open Access

Lenker

original online (doi)

Institusjonsarkiv

hdl.handle.net/10852/107781

Beskrivelse Beskrivelse

Tittel

Coarsening Natural Deduction Proofs I: Finding Perfect Proofs

Bidragsytere

Ethan Erich Brauer

  • Tilknyttet:
    Forfatter
    ved Institutt for filosofi, idé- og kunsthistorie og klassiske språk ved Universitetet i Oslo
1 - 1 av 1