commit dea514fb9509269c9daaf298a3cc282df9468a1b parent c74aded49294d3d31cf7d2da5c333f9ffb065081 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 9 Apr 2024 08:52:38 +0200 minor 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: minor Id: amarilli2024ranked Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation