Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Mihir Vahanwala"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, the positivity problem asks whether the LRS stays positive from an init
Externí odkaz:
https://doaj.org/article/1c8ef30aaa4a4b82b38348734ea6a73a
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-32, 32p
Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of M