commit 0e324bf16ee6f77b6e2182d0254cf824281764ec
parent d8b9cc316ace40e6d300f68f9402632150b57252
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 31 Jan 2024 15:05:02 +0100
+dois
Diffstat:
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/publis b/publis
@@ -16,7 +16,7 @@ Url: https://arxiv.org/abs/2309.13287
Venue: icdt2024
Reviewed: yes
Main: yes
-Doi: none
+Doi: 10.4230/LIPIcs.ICDT.2024.15
Id: amarilli2024ranked
Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation
@@ -25,7 +25,7 @@ Url: https://arxiv.org/abs/2310.00731
Venue: icdt2024
Reviewed: yes
Main: yes
-Doi: none
+Doi: 10.4230/LIPIcs.ICDT.2024.25
HAL: hal-04377344
Id: amarilli2024skyline
@@ -37,6 +37,7 @@ Venue: icdt2024
Reviewed: yes
Main: yes
Doi: none
+Doi: 10.4230/LIPIcs.ICDT.2024.7
Id: amarilli2023locality
Oldid: amarilli2021locality