From 08260a84f91b3e520ce67e9df8119bdf5d3bebbb Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Thu, 1 Aug 2024 13:29:37 +0200 Subject: [PATCH] more --- kwarccrossrefs.bib | 2 +- kwarcpubs.bib | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/kwarccrossrefs.bib b/kwarccrossrefs.bib index 665a7c55..97047210 100644 --- 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 index ebebb35c..27f011be 100644 --- 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},