Luca, Florian Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2021/14507/ (Publisher version)
https://creativecommons.org/licenses/by/4.0/legalcode (Copyright transfer agreement)
LIPIcs-MFCS-2021-67-1.pdf (Publisher version), 638KB
Kenison, G., Klurman, O., Lefaucheux, E., Luca, F., Moree, P., Ouaknine, J., et al. (2021). On Positivity and Minimality for Second-Order Holonomic Sequences. In F. Bonchi, & S. J. Puglisi (Eds.), 46th International Symposium on Mathematical Foundations of Computer Science. Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.MFCS.2021.67.