more

KWARC · Apr 11, 2024 · 01af9a5 · 01af9a5
1 parent 2834cea
commit 01af9a5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -2,6 +2,16 @@ @string{kpmessage
 @STRING{stexyear = 2024}
 @STRING{testing = 16}
 
+@unpublished{KohSch:rlotm24,
+ title = {Reusing Learning Objects via Theory Morphisms},
+ author = {Michael Kohlhase and Marcel Sch{\"u}tz},
+ note = {submitted},
+ year = {2024},
+ url = {https://kwarc.info/kohlhase/submit/cicm24-relocalization.pdf},
+ SOONurl = {https://url.mathhub.info/relocalization/},
+ pubs = {mkohlhase,mschuetz,voll-ki} 
+}
+
 @masterthesis{Adrian:BATSAW24,
   title = {Building an Annotation Tool for {sTeX}-Like Annotations in Word - {WOIDE}},
   author = {Aurelius Adrian},