commit 808bdc41804dce2b339228ec5691ae7442e97360 parent 798ac4e9af48d64b5672fe60f0a2fdce5bba112d Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 15 Feb 2024 13:45:25 +0100 errata Diffstat:
| publis | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/publis b/publis @@ -17,6 +17,7 @@ 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