Skip to content

Commit

Permalink
Merge pull request #31 from McEarl/patch-1
Browse files Browse the repository at this point in the history
Add entry for PhD proposal
  • Loading branch information
kohlhase authored Apr 25, 2024
2 parents c07d9a2 + 35d6314 commit 1e789e4
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions kwarcpubs.bib
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,15 @@ @string{kpmessage
@STRING{stexyear = 2024}
@STRING{testing = 16}

@online{Schuetz:proposal:24,
author = {Marcel Schütz},
title = {Theory Morphisms in Computer-Supported Knowledge Impartation},
note = {Ph.D. proposal, Computer Science, FAU Erlangen-Nürnberg},
url = {https://gl.kwarc.info/supervision/proposal-archive/-/blob/master/2024/phd-proposal_marcel-schuetz_screen.pdf},
year = {2024},
pubs = {mschuetz}
}

@online{Betzendahl:proposal:20,
author = {Jonas Betzendahl},
title = {Undefinedness and Soft Typing in Formal Mathematics},
Expand Down

0 comments on commit 1e789e4

Please sign in to comment.