Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2020/13245/ (Publisher version)
LIPIcs-FSTTCS-2020-4.pdf (Publisher version), 312KB
Ouaknine, J. (2020). Holonomic Techniques, Periods, and Decision Problems (Invited Talk). In N. Saxena, & S. Simon (Eds.), 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science (pp. 1-3). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2020.4.