commit 988b7ccadf41aeb9d941271358c74e50cc20b247 parent 3d80e6c3c747cb05212e67be0832d1ebda8d2900 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 7 Mar 2024 11:50:51 +0100 errata Diffstat:
| publis | | | 1 | - |
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/publis b/publis @@ -17,7 +17,6 @@ Venue: icdt2024 Reviewed: yes Main: yes Doi: 10.4230/LIPIcs.ICDT.2024.15 -Errata: yes Id: amarilli2024ranked Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation