Miao Guo, Yong Tao Pei, et al.
WCITS 2011
Paper
The Organization of Computations for Uniform Recurrence Equations
Related
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
R. Sebastian, M. Weise, et al.
ECPPM 2022
Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996