- Publication venue
- LIPIcs - Leibniz International Proceedings in Informatics. 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
- Publication date
- 01/01/2019
- Field of study
- Publication venue
- IT-Universitetet i København
- Publication date
- 01/01/2022
- Field of study