more

KWARC · Aug 1, 2024 · 08260a8 · 08260a8
1 parent 8c98763
commit 08260a8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/kwarccrossrefs.bib b/kwarccrossrefs.bib
@@ -7,7 +7,7 @@ @proceedings{RATIO24
  booktitle = {Robust Argumentation Machines -- First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings},
  series = {LNAI},
  number = {14638},
- doi = {10.1007/978-3-031-63536-6}
+ doi = {10.1007/978-3-031-63536-6},
  publisher = {Springer-Verlag Berlin Heidelberg},
  keywords = {conference},
  pubs={mkohlhase}}

diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -6,11 +6,11 @@ @online{sTeX-IDE:git
   url = {https://github.com/slatex/sTeX-IDE},
   note = {Git repository},
   urldate = {2024-08-01},
-  title = {{sTeX Plugin for VSCode}}}
+  title = {{sTeX Plugin for VSCode}}
+  }
   
 @inproceedings{KohKoh:woide24,
-  title = {{WOIDE}: Semantic Annotation in  {MS Word} --- Scaling Mathematical User
-  Interfaces beyond {LaTeX}},
+  title = {{WOIDE}: Semantic Annotation in  {MS Word} --- Scaling Mathematical User Interfaces beyond {LaTeX}},
   author = {Aurelius Adrian and Michael Kohlhase},
   crossref={MathUI24},
   url = {https://kwarc.info/kohlhase/papers/mathui24-woide.pdf},