Document is current
Any future updates will be listed below
-
Authors
Mündler, Niels http://orcid.org/0000-0003-3851-2557
Nipkow, Tobias http://orcid.org/0000-0003-0730-515X
- License Information
-
More Information
Chapter History
First Online: 3 October 2022
Conference Information
Conference Acronym: ICTAC
Conference Name: International Colloquium on Theoretical Aspects of Computing
Conference City: Tbilisi
Conference Country: Georgia
Conference Year: 2022
Conference Start Date: 27 September 2022
Conference End Date: 29 September 2022
Conference Number: 19
Conference ID: ictac2022
Conference URL: https://viam.science.tsu.ge/clas2022/ictac/index.html
