- Publication venue
- LIPIcs - Leibniz International Proceedings in Informatics. 12th International Symposium on Parameterized and Exact Computation (IPEC 2017)
- Publication date
- 01/01/2018
- Field of study
- Publication venue
- LIPIcs - Leibniz International Proceedings in Informatics. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
- Publication date
- 01/01/2022
- Field of study